CoRR, July 2013
Daan Wilmer:
Investigation of "Enhancing flexibility and robustness in multi-agent task scheduling".
Ranjeet Kumar Rout, Pabitra Pal Choudhury, Sarif Sk. Hassan, Saurabh Singh:
Fractal and Mathematical Morphology in Intricate Comparison between Tertiary Protein Structures.
Firas A. Jassim:
Increasing Compression Ratio in PNG Images by k-Modulus Method for Image Transformation.
Maria Gorlatova, John Sarik, Mina Cong, Ioannis Kymissis, Gil Zussman:
Movers and Shakers: Kinetic Energy Harvesting for the Internet of Things.
Minko Dudev, Sebastian Gerling, Philip Peter:
SAHER: Secure and Efficient Routing in Sensor Networks.
Zhaoxi Fang, Xin Wang, Xiaojun Yuan:
Beamforming Design for Multiuser Two-Way Relaying: A Unified Approach via Max-Min SINR.
Vikash K. Mansinghka, Tejas D. Kulkarni, Yura N. Perov, Joshua B. Tenenbaum:
Approximate Bayesian Image Interpretation using Generative Probabilistic Graphics Programs.
Mohammad Naghshvar, Tara Javidi, Michele A. Wigger:
Extrinsic Jensen-Shannon Divergence: Applications to Variable-Length Coding.
Imam Riadi, Jazi Eko Istiyanto, Ahmad Ashari, Subanar:
Log Analysis Techniques using Clustering in Network Forensics.

Ossi Kaltiokallio, Hüseyin Yigitler, Riku Jäntti, Neal Patwari:
Catch a Breath: Non-invasive Respiration Rate Monitoring via Wireless Communication.
Fabrizio M. A. Lolli:
Semantics and pragmatics in actual software applications and in web search engines: exploring innovations.
Konstantin S. Solnushkin, Yuichi Tsujita:
Marrying Many-core Accelerators and InfiniBand for a New Commodity Processor.
Alvaro Cabezas-Clavijo, Nicolas Robinson-Garcia, Manuel Escabias, Evaristo Jiménez-Contreras:
Reviewers' ratings and bibliometric indicators: hand in hand when assessing over research proposals?
Yanshu Zhu, Feng Sun, Yi-King Choi, Bert Jüttler, Wenping Wang:
Spline Approximation to Medial Axis.
Tor Lattimore, Marcus Hutter, Peter Sunehag:
Concentration and Confidence for Discrete Bayesian Sequence Predictors.
Roozbeh Rajabi, Hassan Ghassemian:
Hyperspectral Data Unmixing Using GNMF Method and Sparseness Constraint.
(Withdrawn) 4-Dimensional Geometry Lens: A Novel Volumetric Magnification Approach.
Qasim Zeeshan Ahmed, Ki-Hong Park, Mohamed-Slim Alouini, Sonia Aïssa:
Compression and Combining Based on Channel Shortening and Rank Reduction Techniques for Cooperative Wireless Sensor Networks.
Philippe Dumas:
Rational series and asymptotic expansion for linear homogeneous divide-and-conquer recurrences.
A. B. M. Moniruzzaman, Syed Akhter Hossain:
NoSQL Database: New Era of Databases for Big data Analytics - Classification, Characteristics and Comparison.

Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski:
Connector algebras for C/E and P/T nets' interactions.





Bhavana Bharat Dalvi, William W. Cohen, Jamie Callan:
WebSets: Extracting Sets of Entities from the Web Using Unsupervised Information Extraction.
Jialiang Zhang, Gang Wu, Wenhui Xiong, Zhi Chen, Shaoqian Li:
Utility-maximization Resource Allocation for Device-to-Device Communication Underlaying Cellular Networks.
Guangxun Du, Quan Quan, Kai-Yuan Cai:
Attitude Controllability Analysis and Degraded Attitude Control Scheme for a class of Hexacopters Subject to One Rotor Failure.
Sourav Samanta, Nilanjan Dey, Poulami Das, Suvojit Acharjee, Sheli Sinha Chaudhuri:
Multilevel Threshold Based Gray Scale Image Segmentation using Cuckoo Search.
Pavel Yu. Chebotarev, Zoya M. Lezina, Anton K. Loginov, Yana Yu. Tsodikova:
The effectiveness of altruistic lobbying: A model study.
Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu:
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version.
Petko Bogdanov, Michael Busch, Jeff Moehlis, Ambuj K. Singh, Boleslaw K. Szymanski:
The Social Media Genome: Modeling Individual Topic-Specific Behavior in Social Media.
Wanling Gao, Yuqing Zhu, Zhen Jia, Chunjie Luo, Lei Wang, Zhiguo Li, Jianfeng Zhan, Yong Qi, Yongqiang He, Shimin Gong, Xiaona Li, Shujie Zhang, Bizhu Qiu:
BigDataBench: a Big Data Benchmark Suite from Web Search Engines.
Cheng-Yuan Liou, Bo-Shiang Huang, Daw-Ran Liou, Alex A. Simak:
Syntactic sensitive complexity for symbol-free sequence.
Gang Wang, Chunhong Zhang, Xiaofeng Qiu, Zhimin Zeng:
Replacing Network Coordinate System with Internet Delay Matrix Service (IDMS): A Case Study in Chinese Internet.
Thomas Andrew Lampert, André Stumpf, Pierre Gançarski:
An Empirical Study into Annotator Agreement, Ground Truth Estimation, and Algorithm Evaluation.
Roberto Ammendola, Andrea Biagioni, Ottorino Frezza, Francesca Lo Cicero, Alessandro Lonardo, Pier Stanislao Paolucci, Davide Rossetti, Francesco Simula, Laura Tosoratto, Piero Vicini:
'Mutual Watch-dog Networking': Distributed Awareness of Faults and Critical Events in Petascale/Exascale systems.
Nurzhan Bakibayev, Tomás Kociský, Dan Olteanu, Jakub Zavodny:
Aggregation and Ordering in Factorised Databases.
Farhad Farokhi, Amirpasha Shirazinia, Karl Henrik Johansson:
Networked Estimation using Sparsifying Basis Prediction.
Faraz Ahmed, Rong Jin, Alex X. Liu:
A Random Matrix Approach to Differential Privacy and Structure Preserved Social Network Graph Publishing.
Paul L. Hooper, Simon DeDeo, Hillard S. Kaplan:
Dynamical Structure of a Traditional South American Social Network.
Ahmed Abousamra, David P. Bunde, Kirk Pruhs:
An Experimental Comparison of Speed Scaling Algorithms with Deadline Feasibility Constraints.
Guodong Shi, Alexandre Proutière, Mikael Johansson, John S. Baras, Karl Henrik Johansson:
The Evolution of Beliefs over Signed Social Networks.
Andreas Göbel, Leslie Ann Goldberg, David Richerby:
The Complexity of Counting Homomorphisms to Cactus Graphs Modulo 2.
Marius Nicolae, Sanguthevar Rajasekaran:
Efficient Sequential and Parallel Algorithms for Planted Motif Search.
Harpreet S. Dhillon, Howard C. Huang, Harish Viswanathan, Reinaldo A. Valenzuela:
Fundamentals of Throughput Maximization with Random Arrivals for M2M Communications.
Steven R. Ness, Helena Symonds, Paul Spong, George Tzanetakis:
The Orchive : Data mining a massive bioacoustic archive.
Om P. Damani:
Improving Pointwise Mutual Information (PMI) by Incorporating Significant Co-occurrence.
Te Sun Han, Hiroyuki Endo, Masahide Sasaki:
Reliability and Security Functions of the Wiretap Channel under Cost Constraint.
T.-H. Hubert Chan, Fei Chen:
A Primal-Dual Continuous LP Method on the Multi-choice Multi-best Secretary Problem.
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems.
Firas A. Jassim:
A Novel Steganography Algorithm for Hiding Text in Image using Five Modulus Method.
Lutz Bornmann, Rüdiger Mutz:
Conceptual funding of a new citation-rank approach in bibliometrics: P100.
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky:
Unfolding for CHR programs.
Ahmed A. Zewail, Mohammed Nafie:
The Achievable Degrees of Freedom Region of Relay Networks using Detours.
Erol Gelenbe, Gökçe Görbil, Dimitrios Tzovaras, Steffen Liebergeld, David García, Madalina Baltatu, George L. Lyberopoulos:
Security for Smart Mobile Networks: The NEMESYS Approach.
Stephanie J. Foan, Andrew M. Jackson, Ian Spendlove, Uwe Aickelin:
Simulating the Dynamics of T Cell Subsets Throughout the Lifetime.
Peer-Olaf Siebers, Galina Sherman, Uwe Aickelin, David Menachof:
Comparing Decison Support Tools for Cargo Screening Processes.
Jian Cheng, Tianzi Jiang, Rachid Deriche, Dinggang Shen, Pew-Thian Yap:
Regularized Spherical Polar Fourier Diffusion MRI with Optimal Dictionary Learning.
Cem Tekin, Mihaela van der Schaar:
Distributed Online Big Data Classification Using Context Information.
Reinhard Grandl, Kai Su, Cédric Westphal:
On the Interaction of Adaptive Video Streaming with Content-Centric Networking.
Zemin Zhang, Gregory Ely, Shuchin Aeron, Ning Hao, Misha Elena Kilmer:
Novel Factorization Strategies for Higher Order Tensors: Implications for Compression and Recovery of Multi-linear Data.
Fereshteh Asgari, Vincent Gauthier, Monique Becker:
A survey on Human Mobility and its applications.
Iztok Fister Jr., Iztok Fister, Janez Brest:
Comparing various regression methods on ensemble strategies in differential evolution.
Andrei Todor, Alin Dobra, Tamer Kahveci, Christopher Dudley:
Making massive probabilistic databases practical.

Francesco Renna, A. Robert Calderbank, Lawrence Carin, Miguel R. D. Rodrigues:
Reconstruction of Signals Drawn from a Gaussian Mixture from Noisy Compressive Measurements: MMSE Phase Transitions and Beyond.
Honggang Hu, Shuai Shao, Guang Gong, Tor Helleseth:
The Proof of Lin's Conjecture via the Decimation-Hadamard Transform.
K. Ilambharathi, G. S. N. V. Venkata Manik, N. Sadagopan, B. Sivaselvan:
Domain Specific Hierarchical Huffman Encoding.
Xiaogang Liu, Yuan Luo:
On the bounds and achievability about the ODPC of $\mathcal{GRM}(2, m)^*$ over prime field for increasing message length.
Mouhamed Gaith Ayadi, Riadh Bouslimi, Jalel Akaichi:
Extending UML for Conceptual Modeling of Annotation of Medical Images.
Ivan Arakistain, Jose Miguel Abascal, Oriol Munne:
Wireless sensor network technology for moisture monitoring of wood.
Saravana Manickam, Mahesh K. Marina, Sofia Pediaditaki, Maziar Nekovee:
Auctioning based Coordinated TV White Space Spectrum Sharing for Home Networks.
Yeow-Khiang Chia, Kittipong Kittichokechai:
On Secure Source Coding with Side Information at the Encoder.
Arash Behboodi, Pablo Piantanida:
Mixed Noisy Network Coding and Cooperative Unicasting in Wireless Networks.

Paul Ralph:
Software Engineering Process Theory: A Multi-Method Comparison of Sensemaking-CoevoIution-Implementation Theory and Function-Behavior-Structure Theory.


John-Olof Nilsson, Peter Händel:
Recursive Bayesian Initialization of Localization Based on Ranging and Dead Reckoning.
Naisan Benatar, Uwe Aickelin, Jonathan M. Garibaldi:
A Comparison of Non-stationary, Type-2 and Dual Surface Fuzzy Control.
Mazlina Abdul Majid, Peer-Olaf Siebers, Uwe Aickelin:
Modelling Reactive and Proactive Behaviour in Simulation: A Case Study in a University Organisation.
Jenna Reps, Jan Feyereisl, Jonathan M. Garibaldi, Uwe Aickelin, Jack E. Gibson, Richard B. Hubbard:
Investigating the Detection of Adverse Drug Events in a UK General Practice Electronic Health-Care Database.
Ian Dent, Uwe Aickelin, Tom Rodden:
Application of a clustering framework to UK domestic electricity data.
Mohammed F. Nather, Nada N. Saleem:
Suggest an Aspect-Oriented Design Approach for UML Communication Diagram.
An Liu, Vincent K. N. Lau:
Mixed-Timescale Precoding and Cache Control in Cached MIMO Interference Network.





Ridha Nasri, Zwi Altman:
Handover adaptation for dynamic load balancing in 3gpp long term evolution systems.
Laurent Tapie, Kwamiwi Bernardin Mawussi, Walter Rubio, Benoît Furet:
Machining of complex-shaped parts with guidance curves.
Pierre Olivier, Jalil Boukhobza, Eric Senn:
Toward a Unified Performance and Power Consumption NAND Flash Memory Model of Embedded and Solid State Secondary Storage Systems.
Sukanta Bhattacharjee, Ansuman Banerjee, Tsung-Yi Ho, Krishnendu Chakrabarty, Bhargab B. Bhattacharya:
Algorithms for Producing Linear Dilution Gradient with Digital Microfluidics.
Piotr Krzysztof Skowron, Lan Yu, Piotr Faliszewski, Edith Elkind:
The Complexity of Fully Proportional Representation for Single-Crossing Electorates.
Roberto Ammendola, Andrea Biagioni, Ottorino Frezza, Werner Geurts, Gert Goossens, Francesca Lo Cicero, Alessandro Lonardo, Pier Stanislao Paolucci, Davide Rossetti, Francesco Simula, Laura Tosoratto, Piero Vicini:
A heterogeneous many-core platform for experiments on scalable custom interconnects and management of fault and critical events, applied to many-process applications: Vol. II, 2012 technical report.
Elea Giménez-Toledo, Jorge Mañana-Rodríguez, Emilio Delgado López-Cózar:
Quality indicators for scientific journals based on experts opinion.
Fangxiang Feng, Ruifan Li, Xiaojie Wang:
Constructing Hierarchical Image-tags Bimodal Representations for Word Tags Alternative Choice.
Miguel Angel Veganzones, Mihai Datcu, Manuel Graña:
Further results on dissimilarity spaces for hyperspectral images RF-CBIR.



Pietro Codara, Ottavio M. D'Antona, Daniele Filaretti:
Building Bricks with Bricks, with Mathematica.

Hubie Chen, Moritz Müller:
One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries.

Alexander V. Evako:
On digital simply connected spaces and manifolds: a digital simply connected 3-manifold is the digital 3-sphere.
G. Kishore Kumar, V. K. Jayaraman:
Clustering of Complex Networks and Community Detection Using Group Search Optimization.
Ian Dent, Uwe Aickelin, Tom Rodden:
The Application of a Data Mining Framework to Energy Usage Profiling in Domestic Residences using UK data.
Ian Dent, Christian Wagner, Uwe Aickelin, Tom Rodden:
Creating Personalised Energy Plans. From Groups to Individuals using Fuzzy C Means Clustering.
Hala Helmi, Jonathan M. Garibaldi, Uwe Aickelin:
Examining the Classification Accuracy of TSVMs with ?Feature Selection in Comparison with the GLAD Algorithm.
Grazziela P. Figueredo, Uwe Aickelin, Peer-Olaf Siebers:
Systems Dynamics or Agent-Based Modelling for Immune Simulation?
Feng Gu, Jan Feyereisl, Robert F. Oates, Jenna Reps, Julie Greensmith, Uwe Aickelin:
Quiet in Class: Classification, Noise and the Dendritic Cell Algorithm.
Kittipong Kittichokechai, Yeow-Khiang Chia, Tobias J. Oechtering, Mikael Skoglund, Tsachy Weissman:
Secure Source Coding with a Public Helper.
Naisan Benatar, Uwe Aickelin, Jonathan M. Garibaldi:
An investigation into the relationship between type-2 FOU size and environmental uncertainty in robotic control.
Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard:
Discovering Sequential Patterns in a UK General Practice Database.
Sanguthevar Rajasekaran, Marius Nicolae:
An Elegant Algorithm for the Construction of Suffix Arrays.
Phillippe Samer, Sebastián Urrutia:
A branch and cut algorithm for minimum spanning trees under conflict constraints.
Yuqian Zhang, Cun Mu, Han-Wen Kuo, John Wright:
Toward Guaranteed Illumination Models for Non-Convex Objects.
Pablo Mayckon Silva Farias, Ricardo C. Corrêa:
Linear Time Computation of the Maximal (Circular) Sums of Multiple Independent Insertions of Numbers into a Sequence.
Sergio Barbarossa, Stefania Sardellitti, Paolo Di Lorenzo:
Distributed Detection and Estimation in Wireless Sensor Networks.
Sung Ho Chae, Changho Suh, Sae-Young Chung:
Degrees of Freedom of the Rank-deficient Interference Channel with Feedback.
Lavindra de Silva, Amit Kumar Pandey, Mamoun Gharbi, Rachid Alami:
Towards Combining HTN Planning and Geometric Task Planning.
Zhong Chen, Feifei Gao, Xianda Zhang, James C. F. Li, Ming Lei:
Multiple-Level Power Allocation Strategy for Secondary Users in Cognitive Radio Networks.
Ittai Abraham, Shiri Chechik:
Dynamic Decremental Approximate Distance Oracles with (1+ε, 2) stretch.
Nandan Mirajkar, Sandeep Bhujbal, Aaradhana Deshmukh:
Perform wordcount Map-Reduce Job in Single Node Apache Hadoop cluster and compress data using Lempel-Ziv-Oberhumer (LZO) algorithm.
Harpreet S. Dhillon, Ying Li, Pavan Nuggehalli, Zhouyue Pi, Jeffrey G. Andrews:
Fundamentals of Heterogeneous Cellular Networks with Energy Harvesting.
Cezary Kaliszyk, Christoph Lüth:
Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012. EPTCS 118, 2013 [contents]
Rusdha Muharar, Randa Zakhour, Jamie S. Evans:
Optimal Power Allocation and User Loading for Multiuser MISO Channels with Regularized Channel Inversion.
Christian von der Weth, Manfred Hauswirth:
DOBBS: Towards a Comprehensive Dataset to Study the Browsing Behavior of Online Users.
Christian von der Weth, Manfred Hauswirth:
Finding Information Through Integrated Ad-Hoc Socializing in the Virtual and Physical World.
Radoslaw Glowinski, Wojciech Rytter:
Compressed Pattern-Matching with Ranked Variables in Zimin Words.
E. R. Vimina, K. Poulose Jacob:
A Sub-block Based Image Retrieval Using Modified Integrated Region Matching.
Chau Do, Eric J. Pauwels:
Using MathML to Represent Units of Measurement for Improved Ontology Alignment.
Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard:
Comparing Data-mining Algorithms Developed for Longitudinal Observational Databases.
Grazziela P. Figueredo, Peer-Olaf Siebers, Uwe Aickelin, Stephanie J. Foan:
A Beginners Guide to Systems Simulation in Immunology.
Chris M. Roadknight, Uwe Aickelin, Guoping Qiu, John Scholefield, Lindy Durrant:
Supervised Learning and Anti-learning of Colorectal Cancer Classes and Survival Rates from Cellular Biology Parameters.
Chris M. Roadknight, Uwe Aickelin, Alex Ladas, Daniele Soria, John Scholefield, Lindy Durrant:
Biomarker Clustering of Colorectal Cancer Data to Complement Clinical Classification.
Piero Triverio:
Robust Causality Check for Sampled Scattering Parameters via a Filtered Fourier Transform.
Zhiguo Ding, Samir Medina Perlaza, Inaki Esnaola, H. Vincent Poor:
Power Allocation Strategies in Energy Harvesting Wireless Cooperative Networks.
Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro:
Algorithmic Mechanisms for Reliable Internet-based Computing under Collusion.
Rami Al-Rfou', Bryan Perozzi, Steven Skiena:
Polyglot: Distributed Word Representations for Multilingual NLP.
Lianggui Liu:
Extracting the trustworthiest way to service provider in complex online social networks.
Diya Naresh Vadhwani, Megha Singh, Deepak Kulhare:
Simulation of wireless dynamic source routing protocol with IP traffic flow analysis, memory efficiency and increased throughput.
Tao Zhang, Peer-Olaf Siebers, Uwe Aickelin:
Modelling the Effects of User Learning on Forced Innovation Diffusion.
Pucktada Treeratpituk, Madian Khabsa, C. Lee Giles:
Graph-based Approach to Automatic Taxonomy Generation (GraBTax).
Frédérique Bassino, Andrea Sportiello:
Linear-time generation of specifiable combinatorial structures: general theory and first examples.
Dmitry Ageyev, Artem Ignatenko, Fouad Wehbe:
Design of Information and Telecommunication Systems with the Usage of the Multi-Layer Graph Model.
(Withdrawn) Anatomical Feature-guided Volumeric Registration of Multimodal Prostate MRI.
Richard Gow, Srikumar Venugopal, Pradeep Kumar Ray:
"The tail wags the dog": A study of anomaly detection in commercial application performance.
Sourangsu Banerji:
Study and Development of a Data Acquisition & Control (DAQ) System using TCP/Modbus Protocol.
Cheng Bo, Xuesi Jian, Xiang-Yang Li:
TEXIVE: Detecting Drivers Using Personal Smart Phones by Leveraging Inertial Sensors.
Wei Chen, Dayu Huang, Ankur A. Kulkarni, Jayakrishnan Unnikrishnan, Quanyan Zhu, Prashant G. Mehta, Sean P. Meyn, Adam Wierman:
Approximate dynamic programming using fluid and diffusion approximations with applications to power management.
Nazim Burak Karahanoglu, Hakan Erdogan:
Improving A*OMP: Theoretical and Empirical Analyses With a Novel Dynamic Cost Model.
Anna Adamaszek, Andreas Wiese:
Approximation Schemes for Maximum Weight Independent Set of Rectangles.
Minjia Shi:
MacWilliams type identities for some new $m$-spotty weight enumerators over finite commutative Frobenius rings.
Michele Scquizzato, Francesco Silvestri:
Communication Lower Bounds for Distributed-Memory Computations.
Arno Pauly, Matthew de Brecht:
Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces.
Jean-Baptiste Mouret, Sylvain Koos, Stéphane Doncieux:
Crossing the Reality Gap: a Short Introduction to the Transferability Approach.
Ibrahim Sabek, Noha A. Yousri, Nagwa M. El-Makky, Mona Habib:
Intelligent Hybrid Man-Machine Translation Quality Estimation.
Arindam Chaudhuri:
Solution of Rectangular Fuzzy Games by Principle of Dominance Using LR-type Trapezoidal Fuzzy Numbers.
Arindam Chaudhuri, Kajal De:
A Comparative study of Transportation Problem under Probabilistic and Fuzzy Uncertainties.
Arindam Chaudhuri, Kajal De, Dipak Chatterjee, Pabitra Mitra:
Trapezoidal Fuzzy Numbers for the Transportation Problem.
Arindam Chaudhuri, Kajal De, Dipak Chatterjee:
Discovering Stock Price Prediction Rules of Bombay Stock Exchange Using Rough Fuzzy Multi Layer Perception Networks.
Arindam Chaudhuri, Kajal De:
Fuzzy Integer Linear Programming Mathematical Models for Examination Timetable Problem.
Arindam Chaudhuri, Kajal De:
Achieving greater Explanatory Power and Forecasting Accuracy with Non-uniform spread Fuzzy Linear Regression.
Arindam Chaudhuri:
A Dynamic Algorithm for the Longest Common Subsequence Problem using Ant Colony Optimization Technique.
Seyed Kaveh Fayazbakhsh:
Modeling Human Mobility and its Applications in Routing in Delay-Tolerant Networks: a Short Survey.
Murat Ali Bayir, Ismail Hakki Toroslu:
Link Based Session Reconstruction: Finding All Maximal Paths.
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo:
PROOFTOOL: a GUI for the GAPT Framework. 1-14

Wolfgang Windsteiger:
Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. 72-82
Mingrui Yang, Frank de Hoog:
Coherence and RIP Analysis for Greedy Algorithms in Compressive Sensing.
Wojciech Zaremba, Arthur Gretton, Matthew B. Blaschko:
B-test: A Non-parametric, Low Variance Kernel Two-sample Test.
Jiong He, Mian Lu, Bingsheng He:
Revisiting Co-Processing for Hash Joins on the Coupled CPU-GPU Architecture.

Daniel Gaußmann, Stefan Hoffmann, Egon Wanke:
Hierarchical Bipartition Routing for delivery guarantee in sparse wireless ad hoc sensor networks with obstacles.
Alexandros Ladas, Uwe Aickelin, Jonathan M. Garibaldi, Eamonn Ferguson:
Using Clustering to extract Personality Information from socio economic data.
Aslam Ahmed, Julie Greensmith, Uwe Aickelin:
Variance in System Dynamics and Agent Based Modelling Using the SIR Model of Infectious Disease.
Lefteris Zervakis, Christos Tryfonopoulos, Antonios Papadakis-Pesaresi, Manolis Koubarakis, Spiros Skiadopoulos:
Full-text Support for Publish/Subscribe Ontology Systems.
Jenny Rompa, Giorgos Lepouras, Costas Vassilakis, Christos Tryfonopoulos:
OntoFM: A Personal Ontology-based File Manager for the Desktop.
Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich:
Resolution Proof Transformation for Compression and Interpolation.
V. K. Oikonomou, J. Jost:
Periodic Strategies and Rationalizability in Perfect Information 2-Player Strategic Form Games.
Eike Hermann Müller, Robert Scheichl:
Massively parallel solvers for elliptic PDEs in Numerical Weather- and Climate Prediction.
Santiago Canales, Gregorio Hernández-Peñalver, Ana Mafalda Martins, Inês Matos:
Distance domination, guarding and vertex cover for maximal outerplanar graph.
Catuscia Palamidessi:
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi.
Daniel Graziotin, Pekka Abrahamsson:
A Web-based modeling tool for the SEMAT Essence theory of Software Engineering.
Mohamed Kafsi, Ehsan Kazemi, Lucas Maystre, Lyudmila Yartseva, Matthias Grossglauser, Patrick Thiran:
Mitigating Epidemics through Mobile Micro-measures.
Maike Buchin, Anne Driemel, Bettina Speckmann:
Computing the Fréchet distance with shortcuts is NP-hard.
Edoardo Di Napoli, Diego Fabregat-Traver, Gregorio Quintana-Ortí, Paolo Bientinesi:
Towards an Efficient Use of the BLAS Library for Multilinear Tensor Contractions.
Ian Dent, Tony Craig, Uwe Aickelin, Tom Rodden:
Finding the creatures of habit; Clustering households based on their flexibility in using electricity.

Mark A. Iwen, Rayan Saab:
Near-Optimal Encoding for Sigma-Delta Quantization of Finite Frame Expansions.

Dániel Marx, Michal Pilipczuk:
Everything you always wanted to know about the parameterized complexity of Subgraph Isomorphism (but were afraid to ask).


Waldemar Gerok, Jürgen Peissig, Thomas Kaiser:
TDOA assisted RSSD based localization using UWB and directional antennas.
Simina Brânzei, Ioannis Caragiannis, David Kurokawa, Ariel D. Procaccia:
Equilibria of Generalized Cut and Choose Protocols.
Minjia Shi:
The MacWilliams identity for $m$-spotty weight enumerator over $\mathbb{F}_2+u\mathbb{F}_2+\cdots+u^{m-1}\mathbb{F}_2$.
Nicholas J. A. Harvey, Neil Olver:
Pipage Rounding, Pessimistic Estimators and Matrix Concentration.
(Withdrawn) A General Framework for Privacy-Preserving Distributed Greedy Algorithm.

Ying Cui, Vincent K. N. Lau, Huang Huang:
Dynamic Partial Cooperative MIMO System for Delay-Sensitive Applications with Limited Backhaul Capacity.
Romeo Rizzi, Alexandru I. Tomescu:
Floating-point arithmetic for approximate counting and random generation problems.
Junlin Xiong, James Lam, Zhan Shu, Xuerong Mao:
Stability Analysis of Continuous-Time Switched Systems with a Random Switching Signal.
Peter Trifonov, Vera Miloslavskaya:
Polar Codes with Dynamic Frozen Symbols and Their Decoding by Directed Search.
Sena Seneviratne, David C. Levy, Rajkumar Buyya:
A Taxonomy of Performance Prediction Systems in the Parallel and Distributed Computing Grids.
Guilin Zhuansun, Junlin Xiong:
Local Mode Dependent Decentralized H∞ Control of Uncertain Markovian Jump Large-scale Systems.

Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Testing experiments on synchronized Petri nets.
Pin-Hsun Lin, Chien-Li Su, Hsuan-Jung Su:
On The Fast Fading Multiple-Antenna Gaussian Broadcast Channel with Confidential Messages and Partial CSIT.

Firouz Abdullah Al-Wassai, N. V. Kalyankar:
Image Fusion Technologies In Commercial Remote Sensing Packages.
Roxana Bujack, Gerik Scheuermann, Eckhard Hitzer:
Detection of Outer Rotations on 3D-Vector Fields with Iterative Geometric Correlation and its Efficiency.

Dusan Jakovetic, José M. F. Moura, João Manuel Freitas Xavier:
Linear Convergence Rate of a Class of Distributed Augmented Lagrangian Algorithms.


Stefan Kratsch, Geevarghese Philip, Saurabh Ray:
Point Line Cover: The Easy Kernel is Essentially Tight.
Marcin Bienkowski, Jaroslaw Byrka, Marek Chrobak, Lukasz Jez, Jirí Sgall:
Better Approximation Bounds for the Joint Replenishment Problem.
Yoram Bachrach, Vasilis Syrgkanis, Éva Tardos, Milan Vojnovic:
Strong Price of Anarchy and Coalitional Dynamics.
Stefan Milius, Lawrence S. Moss, Daniel Schwencke:
Abstract GSOS Rules and a Modular Treatment of Recursive Definitions.
Mehul Bhatt, Jan Oliver Wallgrün:
Geospatial Narratives and their Spatio-Temporal Dynamics: Commonsense Reasoning for High-level Analyses in Geographic Information Systems.
El Amin Aoulad Abdelouarit:
Les index pour les entrepôts de données : comparaison entre index arbre-B et Bitmap.
Minjia Shi:
MacWilliams Type identities for $m$-spotty Rosenbloom-Tsfasman weight enumerators over finite commutative Frobenius rings.
Saurabh Jha, Tejaswi Agarwal, B. Rajesh Kanna:
Exploiting Data Parallelism in the yConvex Hypergraph Algorithm for Image Representation using GPGPUs.
Abhinav Sinha, Achilleas Anastasopoulos:
Generalized Proportional Allocation Mechanism Design for Multi-rate Multicast Service on the Internet.
Chris Piech, Jonathan Huang, Zhenghao Chen, Chuong B. Do, Andrew Y. Ng, Daphne Koller:
Tuned Models of Peer Assessment in MOOCs.
Richard Ellis-Braithwaite, Russell Lock, Ray Dawson, Badr Haque:
Towards an Approach for Analysing the Strategic Alignment of Software Requirements using Quantified Goal Graphs.
Emil Björnson, Jakob Hoydis, Marios Kountouris, Mérouane Debbah:
Massive MIMO Systems with Non-Ideal Hardware: Energy Efficiency, Estimation, and Capacity Limits.
Bin Han, Qun Mo, Zhenpeng Zhao:
Compactly Supported Tensor Product Complex Tight Framelets with Directionality.
Olivier Curé, Myriam Lamolle, Chan Le Duc:
Ontology Based Data Integration Over Document and Column Family Oriented NOSQL.
Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel:
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems.
Hubert Haoyang Duan, Vladimir Pestov, Varun Singla:
Text Categorization via Similarity Search: An Efficient and Effective Novel Algorithm.
Karthikeyan Shanmugam, Alexandros G. Dimakis, Giuseppe Caire:
Index Coding Problem with Side Information Repositories.
Robert Lychev, Sharon Goldberg, Michael Schapira:
BGP Security in Partial Deployment: Is the Juice Worth the Squeeze?
T.-H. Hubert Chan, Fei Chen, Xiaowei Wu, Zhichao Zhao:
Ranking on Arbitrary Graphs: Rematch via Continuous LP with Monotone and Boundary Condition Constraints.
Zahed Rahmati, Mohammad Ali Abam:
Kinetic Data Structures for the Semi-Yao Graph and All Nearest Neighbors in $\mathbb{R}^d$.
Jean Cardinal, Kolja B. Knauer, Piotr Micek, Torsten Ueckerdt:
Making Octants Colorful and Related Covering Decomposition Problems.



Stefano Braghin, Vincenzo Iovino, Giuseppe Persiano, Alberto Trombetta:
Secure and Policy-Private Resource Sharing in an Online Social Network.
Francesco Pantisano, Mehdi Bennis, Walid Saad, Stefan Valentin, Mérouane Debbah:
Matching with Externalities for Context-Aware User-Cell Association in Small Cell Networks.
Evgenia Christoforou, Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro, Ángel Sánchez:
Reputation-based Mechanisms for Evolutionary Master-Worker Computing.
Yu-Ru Lin, Brian Keegan, Drew Margolin, David Lazer:
Rising tides or rising stars?: Dynamics of shared attention on Twitter during media events.
Reza Farrahi Moghaddam, Fereydoun Farrahi Moghaddam, Mohamed Cheriet:
Computer Simulation of 3-D Finite-Volume Liquid Transport in Fibrous Materials: a Physical Model for Ink Seepage into Paper.


Mohammad Taghi Hajiaghayi, Wei Hu, Jian Li, Shi Li, Barna Saha:
A Constant Factor Approximation Algorithm for Fault-Tolerant k-Median.
Sheng Cai, Mohammad Jahangoshahi, Mayank Bakshi, Sidharth Jaggi:
GROTESQUE: Noisy Group Testing (Quick and Efficient).
Vinay Kumar, Sunil Bhooshan:
Design of One-Dimensional Linear Phase Digital IIR Filters Using Orthogonal Polynomials.
Harbinder Singh, Vinay Kumar, Sunil Bhooshan:
Anisotropic Diffusion for Details Enhancement in Multi-Exposure Image Fusion.
Bin Han, Zhenpeng Zhao:
Image Denoising Using Tensor Product Complex Tight Framelets with Increasing Directionality.


David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivny:
Tractable Combinations of Global Constraints.
Hessam Mahdavifar, Mostafa El-Khamy, Jungwon Lee, Inyup Kang:
Achieving the Uniform Rate Region of Multiple Access Channels Using Polar Codes.

Michail Matthaiou, Agisilaos Papadogiannis, Emil Björnson, Mérouane Debbah:
Two-Way Relaying under the Presence of Relay Transceiver Hardware Impairments.
Atta ur Rehman Khan, Mazliza Othman, Abdul Nasir Khan, Imran Ali Khan:
Framework for Ubiquitous Social Networks.
Constantin Siriteanu, Steven D. Blostein, Akimichi Takemura, Hyundong Shin, Shahram Yousefi:
Exact Performance Analysis of MIMO Zero Forcing Detection for Transmit Correlated Rician Rayleigh Fading.
Quan Wang, Dijia Wu, Le Lu, Meizhu Liu, Kim L. Boyer, Shaohua Kevin Zhou:
Semantic Context Forests for Learning-Based Knee Cartilage Segmentation in 3D MR Images.
Ana Georgina Flesia, Josef Baumgartner, Javier Gimenez, Jorge Martinez:
Accuracy of MAP segmentation with hidden Potts and Markov mesh prior models via Path Constrained Viterbi Training, Iterated Conditional Modes and Graph Cut based algorithms.
Qiwei Lu, Wenchao Huang, Xudong Gong, Xingfu Wang, Yan Xiong, Fuyou Miao:
A Secure Distributed Authentication scheme based on CRT-VSS and Trusted Computing in MANET.
Mohammad Norouzi, Ali Punjani, David J. Fleet:
Fast Exact Search in Hamming Space with Multi-Index Hashing.
Xiaoying Zheng, Chunglae Cho, Ye Xia:
Content Distribution by Multiple Multicast Trees and Intersession Cooperation: Optimal Algorithms and Approximations.
Qiwei Lu, Wenchao Huang, Yan Xiong, Xudong Gong:
Integrity Verification for Outsourcing Uncertain Frequent Itemset Mining.
S. Padmavathi, Manojna K. S. S, S. Sphoorthy Reddy, D. Meenakshy:
Conversion of Braille to Text in English, Hindi and Tamil Languages.
Sharad Sharma, Shakti Kumar, Brahmjit Singh:
Routing in Wireless Mesh Networks: Two Soft Computing Based Approaches.
Sayed Amir Hoseini, Mohammad Reza Ashraf:
Computational Complexity Comparison Of Multi-Sensor Single Target Data Fusion Methods By Matlab.
Shakti Kumar, Brahmjit Singh, Sharad Sharma:
Soft Computing Framework for Routing in Wireless Mesh Networks: An Integrated Cost Function Approach.
Keisuke Umezu, Takahiro Kawamura, Akihiko Ohsuga:
Context-based Barrier Notification Service Toward Outdoor Support for the Elderly.
V. Karthikeyan, S. Senthilkumar, V. J. Vijayalakshmi:
A New Approach to the Solution of Economic Dispatch Using Particle Swarm Optimization with Simulated Annealing.
Craig A. James, Weidong Huang, Kazys Stepanas, Eleonora Widzyk-Capehart, Leila Alem, Chris Gunn, Matt Adcock, Kerstin Haustein:
Designing a Network Based System for Delivery of Remote Mine Services.
S. Hemalatha, U. Dinesh Acharya, A. Renuka:
Comparison of secure and high capacity color image steganography techniques in RGB and YCbCr domains.
Stefan Edelkamp, Armin Weiß:
QuickXsort: Efficient Sorting with n log n - 1.399n +o(n) Comparisons on Average.
Mehul Bhatt:
Between Sense and Sensibility: Declarative narrativisation of mental models as a basis and benchmark for visuo-spatial cognition and computation focussed collaborative cognitive systems.
Sergey G. Kosov, Pushmeet Kohli, Franz Rottensteiner, Christian Heipke:
A two-layer Conditional Random Field for the classification of partially occluded objects.
Leila Esheiba, Hoda M. O. Mokhtar, Mohamed E. El-Sharkawi:
Spatio-Temporal Queries for moving objects Data warehousing.
Sayali Nimkar, Sanal Varghese, Sucheta Shrivastava:
Contrast Enhancement And Brightness Preservation Using Multi- Decomposition Histogram Equalization.
Osama El-Sayed Sheta, Ahmed Nour Eldeen:
The technology of using a data warehouse to support decision-making in health care.

Erez Kantor, Shay Kutten:
Optimal competitiveness for Symmetric Rectilinear Steiner Arborescence and related problems.
Afifa Ghenai, Mohamed Youcef Badaoui, Mohamed Benmohammed:
Towards a Good ABS Design for more Reliable Vehicles on the Roads.
Dave Murray-Rust, Peter Murray-Rust:
The Declaratron, semantic specification for scientific computation using MathML.
Maria das Graças Bruno Marietto, Rafael Varago de Aguiar, Gislene de Oliveira Barbosa, Wagner Tanaka Botelho, Edson P. Pimentel, Robson dos Santos França, Vera Lúcia da Silva:
Artificial Intelligence MArkup Language: A Brief Tutorial.
Hauke Holtkamp, Gunther Auer:
Fundamental Limits of Energy-Efficient Resource Sharing, Power Control and Discontinuous Transmission.
Hauke Holtkamp, Gunther Auer, Harald Haas:
Minimal average consumption downlink base station power control strategy.



Guido Dartmann, Ehsan Zandi, Gerd Ascheid:
A Modified Levenberg-Marquardt Method for the Bidirectional Relay Channel.
Juan A. Elices, Fernando Pérez-González:
Linking Correlated Network Flows through Packet Timing: a Game-Theoretic Approach.
Biswapratapsingh Sahoo:
Performance Comparison of Packet Scheduling Algorithms for Video Traffic in LTE Cellular Network.
B. P. S. Sahoo, Satyajit Rath:
Integrating GPS, GSM and Cellular Phone for Location Tracking and Monitoring.
Riccardo Fedrizzi, Tinku Rasheed:
Cooperative Short Range Routing for Energy Savings in Multi-Interface Wireless Networks.
Alvaro Valcarce, Tinku Rasheed, Karina Mabell Gomez, Kandeepan Sithamparanathan, Laurent Reynaud, Romain Hermenier, Andrea Munari, Mihael Mohorcic, Miha Smolnikar, Isabelle Bucaille:
Airborne Base Stations for Emergency and Temporary Events.
David Coyle, Gavin J. Doherty:
Supporting Therapeutic Relationships and Communication about Mental Health.
David Coyle, Mark Matthews, Gavin J. Doherty, John Sharry:
Engaging with mental health: a global challenge.
Nathaniel Korda, Prashanth L. A., Rémi Munos:
Online gradient descent for least squares regression: Non-asymptotic bounds and application to bandits.

Alexander Kogtenkov, Bertrand Meyer, Sergey Velder:
Alias and Change Calculi, Applied to Frame Inference.
Oliver Göbel, Martin Hoefer, Thomas Kesselheim, Thomas Schleiden, Berthold Vöcking:
Online Independent Set Beyond the Worst-Case: Secretaries, Prophets, and Periods.
Davide Aversa, Stavros Vassos:
Action-based Character AI in Video-games with CogBots Architecture: A Preliminary Report.
Paulo Sérgio Almeida, Carlos Baquero:
Scalable Eventually Consistent Counters over Unreliable Networks.
Baisakh, Chinmayee Mishra, Abhilipsa Pradhan:
A Novel Grid Based Dynamic Energy Efficient Routing Approach for Highly Dense Mobile Ad Hoc Networks.
Igor Cizelj, Calin Belta:
Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications.
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Certification of Bounds of Non-linear Functions: the Templates Method.
Thomas Schultz, Anna Vilanova, Ralph Brecheisen, Gordon L. Kindlmann:
Fuzzy Fibers: Uncertainty in dMRI Tractography.

Ziad Ahmad, Zachary Chance, David James Love:
Concatenated Coding Using Linear Schemes for Gaussian Broadcast Channels with Noisy Channel Output Feedback.
Tareq Alhmiedat, Amer O. Abu Salem, Anas Abu Taleb:
An imporved decentralized approach for tracking multiple mobile targets through ZigBee WSNs.
Vitaly Feldman, Jan Vondrák:
Optimal Bounds on Approximation of Submodular and XOS Functions by Juntas.
Juhi Ameta, Nisheeth Joshi, Iti Mathur:
Improving the quality of Gujarati-Hindi Machine Translation through part-of-speech tagging and stemmer-assisted transliteration.
K. S. Kuppusamy, Leena Mary Francis, G. Aghila:
Report: A Model for Remote Parental Control System Using Smartphones.
J. Marcel Heusinger:
Challenges of Critical and Emancipatory Design Science Research: The Design of 'Possible Worlds' as Response.
Andriy Olenko, Tibor K. Pogány:
Universal truncation error upper bounds in irregular sampling restoration.
T. Chandrasekhar, K. Thangavel, E. Elayaraja, E. N. Sathishkumar:
Unsupervised Gene Expression Data using Enhanced Clustering Method.


A. B. M. Moniruzzaman, Syed Akhter Hossain:
Comparative Study on Agile software development methodologies.
Valerio Cambareri, Mauro Mangia, Fabio Pareschi, Riccardo Rovatti, Gianluca Setti:
Embedding Multiclass Data Hiding in Compressed Sensing.

N. Sampath Kumar, U. KarthikChandran, N. ArunKumar, K. Karnavel:
Social Networking Site For Self Portfolio.
Ahmad Reza Montazerolghaem, Mohammad Hossein Yaghmaee:
Sip Overload Control Testbed: Design, Building and Evaluation.


Osama El-Sayed Sheta, Ahmed Nour Eldeen:
Evaluating a healthcare data warehouse for cancer diseases.


Bhavya Kailkhura, Yunghsiang S. Han, Swastik Brahma, Pramod K. Varshney:
Distributed Bayesian Detection with Byzantine Data.
T. Chandrasekhar, K. Thangavel, E. Elayaraja:
Performance Analysis of Clustering Algorithms for Gene Expression Data.
Shuai Yuan, Jun Wang, Maurice van der Meer:
Adaptive Keywords Extraction with Contextual Bandits for Advertising on Parked Domains.
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
Improving MUC extraction thanks to local search.
Noah D. Stein, Asuman E. Ozdaglar, Pablo A. Parrilo:
Exchangeable Equilibria, Part I: Symmetric Bimatrix Games.
Rohit Budhiraja, K. S. Karthik, Bhaskar Ramamurthi:
Linear Precoders for Non-Regenerative Asymmetric Two-way Relaying in Cellular Systems.
Fred Y. Ye, Loet Leydesdorff:
The "Academic Trace" of the Performance Matrix: A Mathematical Synthesis of the h-Index and the Integrated Impact Indicator (I3).
Constantinos Daskalakis, Anindya De, Ilias Diakonikolas, Ankur Moitra, Rocco A. Servedio:
A Polynomial-time Approximation Scheme for Fault-tolerant Distributed Storage.
Sadegh Aliakbary, Jafar Habibi, Ali Movaghar:
Quantification and Comparison of Network Degree Distributions.
Sadegh Aliakbary, Sadegh Motallebi, Jafar Habibi, Ali Movaghar:
Learning an Integrated Distance Metric for Comparing Structure of Complex Networks.
(Withdrawn) Mc-Dis: A Heterogeneous Neighbor Discovery Protocol for Multi-channel Wireless Networks.
Mehdi Molkaraie, Hans-Andrea Loeliger:
Partition Function of the Ising Model via Factor Graph Duality.
Natashia Boland, Thomas Kalinowski, Simranjit Kaur:
Scheduling arc shut downs in a network to maximize flow over time with a bounded number of jobs per time period.
Martin Strohmeier, Vincent Lenders, Ivan Martinovic:
Security of ADS-B: State of the Art and Beyond.
Alexandros Ntoulas, Omar Alonso, Vasilis Kandylas:
A Data Management Approach for Dataset Selection Using Human Computation.

Junzhou Zhao:
On Analyzing Estimation Errors due to Constrained Connections in Online Review Systems.
Rakshith Saligram, Shrihari Shridhar Hegde, Shashidhar A. Kulkarni, H. R. Bhagyalakshmi, M. K. Venkatesha:
Design of Parity Preserving Logic Based Fault Tolerant Reversible Arithmetic Logic Unit.

Kai-Min Chung, Zhenming Liu, Rafael Pass:
Statistically-secure ORAM with $\tilde{O}(\log^2 n)$ Overhead.
Kiran Kuchi:
Exploiting Spatial Interference Alignment and Opportunistic Scheduling in the Downlink of Interference Limited Systems.
Khalid Raza, Rafat Parveen:
Reconstruction of gene regulatory network of colon cancer using information theoretic approach.
Jun Zhang, Chao-Kai Wen, Shi Jin, Xiqi Gao, Kai-Kit Wong:
Large System Analysis of Cooperative Multi-cell Downlink Transmission via Regularized Channel Inversion with Imperfect CSIT.
Kiran Kuchi:
Limiting Performance of Conventional and Widely Linear DFT-precoded-OFDM Receivers in Wideband Frequency Selective Channels.
Pablo Daniel Azar, Robert Kleinberg, S. Matthew Weinberg:
Prophet Inequalities with Limited Information.
Albert Gu, Anupam Gupta, Amit Kumar:
The Power of Deferral: Maintaining a Constant-Competitive Steiner Tree Online.
Peter Sasvari:
The Impacts of Using Business Information Systems on Operational Effectiveness in Hungary.
Vahid Aref, Laurent Schmalen, Stephan ten Brink:
On the Convergence Speed of Spatially Coupled LDPC Ensembles.
(Withdrawn) Handwritten Digits Recognition using Deep Convolutional Neural Network: An Experimental Study using EBlearn.
Sameh Sorour, Ahmed Douik, Shahrokh Valaee, Tareq Y. Al-Naffouri, Mohamed-Slim Alouini:
Partially Blind Instantly Decodable Network Codes for Lossy Feedback Environment.
Umang Bhaskar, Katrina Ligett, Leonard J. Schulman:
The Network Improvement Problem for Equilibrium Routing.
Elsayed Ahmed, Ahmed M. Eltawil, Ashutosh Sabharwal:
Self-Interference Cancellation with Nonlinear Distortion Suppression for Full-Duplex Systems.
Xiao-yu Wang, D. Mahinda Vilathgamuwa, S. S. Choi:
Energy Storage System Design for a Power Buffer System to Provide Load Ride-through.
D. Mahinda Vilathgamuwa, X. Y. Wang, King-Jet Tseng, Chandana Jayampathi Gajanayake:
Z-source Inverter Based Grid-interface For Variable-speed Permanent Magnet Wind Turbine Generators.
Weifeng Liu, Dacheng Tao, Jun Cheng, Yuan Yan Tang:
Multiview Hessian Discriminative Sparse Coding for Image Annotation.
Xiongping Dai, Tingwen Huang, Yu Huang, Mingqing Xiao:
Chaotic Characteristics of Discrete-time Linear Inclusion Dynamical Systems.
Keki M. Burjorjee:
The Fundamental Learning Problem that Genetic Algorithms with Uniform Crossover Solve Efficiently and Repeatedly As Evolution Proceeds.
Paolo Di Lorenzo, Sergio Barbarossa, Stefania Sardellitti:
Joint Optimization of Radio Resources and Code Partitioning in Mobile Cloud Computing.
Yue Shi, Alexandros Karatzoglou, Linas Baltrunas, Martha Larson, Alan Hanjalic:
GAPfm: Optimal Top-N Recommendations for Graded Relevance Domains.
Andrea Farruggia, Paolo Ferragina, Antonio Frangioni, Rossano Venturini:
Bicriteria data compression.

Henning Zörlein, Faisal Akram, Martin Bossert:
Dictionary Adaptation in Sparse Recovery Based on Different Types of Coherence.



Alejandro Edera, Federico Schlüter, Facundo Bromberg:
Learning Markov networks with context-specific independences.
Yaroslav D. Sergeyev, Alfredo Garro:
Single-tape and Multi-tape Turing machines through the lens of the Grossone methodology.
Marcin Nagy, N. Asokan, Jörg Ott:
PeerShare: A System Secure Distribution of Sensitive Data Among Social Contacts.
D. S. Pavan Kumar, N. Vishnu Prasad, Vikas Joshi, Srinivasan Umesh:
Modified SPLICE and its Extension to Non-Stereo Data for Noise Robust Speech Recognition.
Diego Mendez, Benoit Baudry, Martin Monperrus:
Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software.
Hany SalahEldeen, Michael L. Nelson:
Reading the Correct History? Modeling Temporal Intention in Resource Sharing.
Peter Sasvari:
A Conceptual Framework for Definition of the Correlation Between Company Size Categories and the Proliferation of Business Information Systems in Hungary.
John O. Pliam:
Alternating Product Ciphers: A Case for Provable Security Comparisons (extended abstract).
Sardar Muhammad Bilal, Muhammad Naveed Dilber, Atta ur Rehman Khan:
Routing Proposals for Multipath Interdomain Routing.
Atta ur Rehman Khan, Shahzad Ali, Saad Mustafa, Mazliza Othman:
Impact of mobility models on clustering based routing protocols in mobile WSNs.
Atta ur Rehman Khan, Sardar Muhammad Bilal, Mazliza Othman:
A Performance Comparison of Network Simulators for Wireless Networks.
Jie Wang, Jiayu Zhou, Jun Liu, Peter Wonka, Jieping Ye:
A Safe Screening Rule for Sparse Logistic Regression.
Biao He, Xiangyun Zhou, Thushara D. Abhayapala:
Wireless Physical Layer Security with Imperfect Channel State Information: A Survey.
Elsayed Ahmed, Ahmed M. Eltawil, Ashutosh Sabharwal:
Self-Interference Cancellation with Phase Noise Induced ICI Suppression for Full-Duplex Systems.
Parikshit Gopalan, Cheng Huang, Bob Jenkins, Sergey Yekhanin:
Explicit Maximally Recoverable Codes with Locality.
Jie Wang, Jun Liu, Jieping Ye:
Efficient Mixed-Norm Regularization: Algorithms and Safe Screening Methods.
Gabriele Puppis, Tiziano Villa:
Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013. EPTCS 119, 2013 [contents]


Revati Shriram, M. Sundhararajan, Nivedita Daimiwal:
Human Brain Mapping based on COLD Signal Hemodynamic Response and Electrical Neuroimaging.
Iztok Fister Jr., Xin-She Yang, Iztok Fister, Janez Brest, Dusan Fister:
A Brief Review of Nature-Inspired Algorithms for Optimization.
Lorenzo Fagiano, Trevor Marks:
Design of a small-scale prototype for research in airborne wind energy.
Baisakh, Nileshkumar R. Patel:
Energy Saving and Survival Routing Protocol for Mobile Ad Hoc Networks.
Peter Sasvari:
The State of Information and Communication Technology in Hungary, A Comparative Analysis.
Anna Adamaszek, Andreas Wiese:
A QPTAS for Maximum Weight Independent Set of Polygons with Polylogarithmically Many Vertices.
Martin Gairing, Tobias Harks, Max Klimm:
Complexity and Approximation of the Continuous Network Design Problem.
Shlomi Dolev, Robert Gmyr, Andréa W. Richa, Christian Scheideler:
Ameba-inspired Self-organizing Particle Systems.


René Sitters:
Polynomial time approximation schemes for the traveling repairman and other minimum latency problems.
Jyoti Singh, Nisheeth Joshi, Iti Mathur:
Part of Speech Tagging of Marathi Text Using Trigram Method.
Deepti Bhalla, Nisheeth Joshi, Iti Mathur:
Rule Based Transliteration Scheme for English to Punjabi.
Junichiro Fukuyama:
An Alternative Proof of the Exponential Monotone Complexity of the Clique Function.
Liliana Marcela Reina Leal, Rafael Repiso, Emilio Delgado López-Cózar:
H Index of scientific Nursing journals according to Google Scholar Metrics (2007-2011).
Kook Jin Ahn, Sudipto Guha:
Near Linear Time Approximation Schemes for Uncapacitated and Capacitated b-Matching Problems in Nonbipartite Graphs.
Kook Jin Ahn, Sudipto Guha:
Access to Data and Number of Iterations: Dual Primal Algorithms for Maximum Matching under Resource Constraints.
Nahier Aldhafferi, Charles Watson, A. S. M. Sajeev:
A Smart Wizard System Suitable for Use With Internet Mobile Devices to Adjust Personal Information Privacy Settings.
Narayanan Krishnan, Roy D. Yates, Narayan B. Mandayam:
Uplink Linear Receivers for Multi-cell Multiuser MIMO with Pilot Contamination: Large System Analysis.
Yu Liu, Alexander M. Haimovich, Wei Su, Jason A. Dabin, Emmanuel Kanterakis:
Modulation Classification of MIMO-OFDM Signals by Independent Component Analysis and Support Vector Machines.

Bo Bai, Wei Chen, Khaled Ben Letaief, Zhigang Cao:
An Outage Exponent Region based Coded f-Matching Framework for Channel Allocation in Multi-carrier Multi-access Channels.
Mahyar Shirvanimoghaddam, Yonghui Li, Shuang Tian, Branka Vucetic:
Distributed Raptor Coding for Erasure Channels: Partially and Fully Coded Cooperation.
Maciej Gazda, Tim A. C. Willemse:
Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds. 7-20

Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro:
Deciding the Satisfiability of MITL Specifications. 64-78
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke:
Profile Trees for Büchi Word Automata, with Application to Determinization. 107-121
Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer:
Approximating the minimum cycle mean. 136-149
Alessandra Di Pierro, Herbert Wiklicky:
Probabilistic data flow analysis: a linear equational approach. 150-165

Wojciech Jamroga, Artur Meski, Maciej Szreter:
Modularity and Openness in Modeling Multi-Agent Systems. 224-239
Dario Della Monica, Margherita Napoli, Mimmo Parente:
Model checking coalitional games in shortage resource scenarios. 240-255
Deekshith P. K., Vinod Sharma, Ramachandran Rajesh:
AWGN Channel Capacity of Energy Harvesting Transmitters with a Finite Energy Buffer.


Dhammika Pieris:
Extending the ER Model to relational Model novel transformation Algorithm: transforming relationship Types among Subtypes.
Adam Kasperski, Pawel Zielinski:
Bottleneck combinatorial optimization problems with uncertain costs and the OWA criterion.
Jakub Mikians, László Gyarmati, Vijay Erramilli, Nikolaos Laoutaris:
Crowd-assisted Search for Price Discrimination in E-Commerce: First results.
Martianus Frederic Ezerman, Somphong Jitman, Patrick Solé:
Xing-Ling Codes, Duals of their Subcodes, and Good Asymmetric Quantum Codes.
Laura Sacerdote, Michele Garetto, Federico Polito, Matteo Sereno:
Superprocesses as models for information dissemination in the Future Internet.
Lei Wang, Xiaodong Wang, Yingjie Wu, Daxin Zhu:
Complete Solutions for a Combinatorial Puzzle in Linear Time.
Noga Alon, Nicolò Cesa-Bianchi, Claudio Gentile, Yishay Mansour:
From Bandits to Experts: A Tale of Domination and Independence.
Michael Lange, Gerard Gorman, Michèle Weiland, Lawrence Mitchell, Xiaohu Guo, James Southern:
Benchmarking mixed-mode PETSc performance on high-performance architectures.
Yunbin Zhao:
RSP-Based Analysis for Sparsest and Least ℓ1-Norm Solutions to Underdetermined Linear Systems.

Jérôme Fehrenbach, Pierre Weiss:
Processing stationary noise: model and parameter selection in variational methods.
Makhlad Chahid, Jérôme Bobin, Hamed Shams Mousavi, Emmanuel J. Candès, Maxime Dahan, Vincent Studer:
Hyperspectral fluorescence microscopy based on Compressive Sampling.
Taotao Wang, Soung Chang Liew:
Joint Channel Estimation and Channel Decoding in Physical-Layer Network Coding Systems: An EM-BP Factor Graph Framework.
Danny Munera, Daniel Diaz, Salvador Abreu:
Experimenting with X10 for Parallel Constraint-Based Local Search.





Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil:
Relation lifting, with an application to the many-valued cover modality.
Giovanni Di Liberto, Serdar Kadioglu, Kevin Leo, Yuri Malitsky:
DASH: Dynamic Approach for Switching Heuristics.
Rafael E. Carrillo, Kenneth E. Barner:
Lorentzian Iterative Hard Thresholding: Robust Compressed Sensing with Prior Information.
T. Dharani, I. Laurence Aroquiaraj:
Content Based Image Retrieval System using Feature Classification with Modified KNN Algorithm.
Jesse Kelly, Omar Ghattas, Hari Sundar:
A Nested Partitioning Scheme for Parallel Heterogeneous Clusters.
Maaz M. Mohiuddin, Varun Maheshwari, Sreejith T. Veetil, Kiran Kuchi, G. V. V. Sharma, Shahriar Emami:
Performance Limits of a Cloud Radio.
Ahmed El Shafie, Tamer Khattab, Amr El-Keyi, Mohammed Nafie:
Cooperation Between a Primary Terminal and an Energy Harvesting Cognitive Radio Terminal.

Ayan Sengupta, I-Hsiang Wang, Christina Fragouli:
Cooperative Relaying at Finite SNR - Role of Quantize-Map-and-Forward.
Yongpeng Wu, Chengshan Xiao, Xiqi Gao, John D. Matyjas, Zhi Ding:
Linear Precoder Design for MIMO Interference Channels with Finite-Alphabet Signaling.
Bo Bai, Wei Chen, Khaled Ben Letaief, Zhigang Cao:
Outage Exponent: A Unified Performance Metric for Parallel Fading Channels.
Yousef Elmehdwi, Bharath K. Samanthula, Wei Jiang:
Secure k-Nearest Neighbor Query over Encrypted Data in Outsourced Environments.
Zheng Wen, Benjamin Van Roy:
Efficient Exploration and Value Function Generalization in Deterministic Systems.
Carlos Castillo, Gianmarco De Francisci Morales, Marcelo Mendoza, Nasir Khan:
Automatic Analysis of Television News: Media, People, Framing and Bias.
Gilles Chardon, Laurent Daudet:
Source localization in reverberant rooms using sparse modeling and narrowband measurements.




Sudip Mittal, Neha Gupta, Prateek Dewan, Ponnurangam Kumaraguru:
The Pin-Bang Theory: Discovering The Pinterest World.
Jérémy Berthomieu, Jean-Charles Faugère, Ludovic Perret:
Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials.
Bowei Chen, Jun Wang, Ingemar J. Cox, Mohan S. Kankanhalli:
Multi-Keyword Multi-Click Option Contracts for Sponsored Search Advertising.
Purnendu Banerjee, B. B. Chaudhuri:
Video and Scene Text Localization using Wavelet and Shearlet Transforms.

Ruchir Gupta, Yatindra Nath Singh:
Avoiding Whitewashing in Unstructured Peer-to-Peer Resource Sharing Network.
Alexandru Cioaca, Adrian Sandu:
Low-rank Approximations for Computing Observation Impact in 4D-Var Data Assimilation.
Peng Qin, Bin Dai, Kui Wu, Benxiong Huang, Guan Xu:
DCE: A Novel Delay Correlation Measurement for Tomography with Passive Realization.
Per Austrin, Rajsekar Manokaran, Cenny Wenner:
On the NP-Hardness of Approximating Ordering Constraint Satisfaction Problems.
Alexios Balatsoukas-Stimming, Georgios Karakonstantis, Andreas Burg:
Enabling Complexity-Performance Trade-Offs for Successive Cancellation Decoding of Polar Codes.
Hsiang-Fu Yu, Prateek Jain, Inderjit S. Dhillon:
Large-scale Multi-label Learning with Missing Labels.
Stefano Gonella, Jarvis D. Haupt:
Automated Defect Localization via Low Rank Plus Outlier Modeling of Propagating Wavefield Data.
Michel X. Goemans, Thomas Rothvoß:
Polynomiality for Bin Packing with a Constant Number of Item Types.
Gemma Roig, Xavier Boix, Luc J. Van Gool:
Random Binary Mappings for Kernel Learning and Efficient SVM.
Weisi Guo, Siyi Wang, Xiaoli Chu, Jiming Chen, Hui Song, Jie Zhang:
Automated Small-Cell Deployment for Heterogeneous Cellular Networks.
Vahid Aref, Nicolas Macris, Marc Vuffray:
Approaching the Rate-Distortion Limit with Spatial Coupling, Belief propagation and Decimation.
Paul Dütting, Felix A. Fischer, David C. Parkes:
Expressiveness and Robustness of First-Price Position Auctions.
Serdar Ozyurt, Murat Torlak:
Unified Performance Analysis of Orthogonal Transmit Beamforming Methods with User Selection.
Vivek Kumar Bagaria, Ashwin Pananjady, Rahul Vaze:
Optimally Approximating the Lifetime of Wireless Sensor Networks.
Serdar Ozyurt, Murat Torlak:
Performance Analysis of Optimum Zero-Forcing Beamforming with Greedy User Selection.
Abdelhakim Herrouz, Chabane Khentout, Mahieddine Djoudi:
Navigation Assistance and Web Accessibility Helper.
Nikolaos Chatzis, Georgios Smaragdakis, Anja Feldmann:
On the importance of Internet eXchange Points for today's Internet ecosystem.

Monik Khare, Claire Mathieu, Neal E. Young:
First-Come-First-Served for Online Slot Allocation and Huffman Coding.
Marius Bozga, Radu Iosif, Filip Konecný:
Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops.
Emanuel Santos, Daniel Faria, Catia Pesquita, Francisco M. Couto:
Ontology alignment repair through modularization and confidence-based heuristics.
Pekka Malo, Ankur Sinha, Pyry Takala, Pekka J. Korhonen, Jyrki Wallenius:
Good Debt or Bad Debt: Detecting Semantic Orientations in Economic Texts.
Oguz Semerci, Ning Hao, Misha Elena Kilmer, Eric L. Miller:
Tensor-based formulation and nuclear norm regularization for multi-energy computed tomography.

Thomas Eder, Michael Rodler, Dieter Vymazal, Markus Zeilinger:
ANANAS - A Framework For Analyzing Android Applications.



Arash Mohammadi, Amir Asif, Xionghu Zhong, A. Benjamin Premkumar:
Distributed Computation of the Conditional PCRLB for Quantized Decentralized Particle Filters.
Chanchal Yadav, Shuliang Wang, Manoj Kumar:
Algorithm and approaches to handle large Data- A Survey.
Yaqin Zhou, Xiang-Yang Li:
Multi-Armed Bandits With Combinatorial Strategies Under Stochastic Bandits.

Francesca P. Carli, Lipeng Ning, Tryphon T. Georgiou:
Approximation in the Wasserstein distance with application to clustering.
Yun Xu, Edmund M. Yeh, Muriel Médard:
Approaching Gaussian Relay Network Capacity in the High SNR Regime: End-to-End Lattice Codes.
Sakrapee Paisitkriangkrai, Chunhua Shen, Anton van den Hengel:
A scalable stage-wise approach to large-margin multi-class loss based boosting.

Yuval Domb, Ram Zamir, Meir Feder:
The Random Coding Bound Is Tight for the Average Linear Code or Lattice.
Vijay G. Subramanian, Michael L. Honig, Randy Berry:
Comparative Statics On The Allocation Of Spectrum.
Youlong Wu, Paolo Minero, Michele A. Wigger:
Insufficiency of Linear-Feedback Schemes In Gaussian Broadcast Channels with Common Message.
Sira Ferradans, Nicolas Papadakis, Gabriel Peyré, Jean-François Aujol:
Regularized Discrete Optimal Transport.
Youlong Wu, Michele A. Wigger:
Any Positive Feedback Rate Increases the Capacity of Strictly Less-Noisy Broadcast Channels.
Henk D. L. Hollmann, Wencin Poh:
Characterizations and construction methods for linear functional-repair storage codes.
Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Proof search for propositional abstract separation logics via labelled sequents.
M. Naresh Kumar:
Performance comparison of State-of-the-art Missing Value Imputation Algorithms on Some Bench mark Datasets.
Jatin Agarwal, Nadeem Moidu, Kishore Kothapalli, Kannan Srinathan:
Efficient Range Reporting of Convex Hull.
Evangelia Matskani, Nestor D. Chatzidiamantis, Leonidas Georgiadis, Iordanis Koutsopoulos, Leandros Tassiulas:
Optimal Primary-Secondary user Cooperation Policies in Cognitive Radio Networks.


Duc Phu Chau, Julien Badie, François Brémond, Monique Thonnat:
Online Tracking Parameter Adaptation based on Evaluation.





Nicolas Riche, Matthieu Duvinage, Matei Mancas, Bernard Gosselin, Thierry Dutoit:
A study of parameters affecting visual saliency assessment.
Yasin Kavak, Erkut Erdem, Aykut Erdem:
Visual saliency estimation by integrating features using multiple kernel learning.
Martin Grohe, Kristian Kersting, Martin Mladenov, Erkal Selman:
Dimension Reduction via Colour Refinement.
Jan Tünnermann, Dieter Enns, Bärbel Mertsching:
Saliency-Guided Perceptual Grouping Using Motion Cues in Region-Based Artificial Visual Attention.
Roberto Di Pietro, Gabriele Oligeri:
Silence is Golden: exploiting jamming and radio silence to communicate.
Esther Luna Colombini, Alexandre da Silva Simões, Carlos H. C. Ribeiro:
Top-down and Bottom-up Feature Combination for Multi-sensor Attentive Robots.
R. Sandanalakshmi, P. Abinaya Viji, M. Kiruthiga, M. Manjari, M. Sharina:
Speaker Independent Continuous Speech to Text Converter for Mobile Application.

(Withdrawn) An exact algorithm for 1-in-3 SAT.
Subra Mukherjee, Karen Das:
An Adaptive GMM Approach to Background Subtraction for Application in Real Time Surveillance.
Luis Barba, Prosenjit Bose, Mirela Damian, Rolf Fagerberg, Joseph O'Rourke, André van Renssen, Perouz Taslakian, Sander Verdonschot:
New and Improved Spanning Ratios for Yao Graphs.
Robert R. Tucci:
An Information Theoretic Measure of Judea Pearl's Identifiability and Causal Influence.
Masoumeh Vali:
A New Approach for Finding the Global Optimal Point Using Subdividing Labeling Method (SLM).
Mansurul Bhuiyan, Mohammad Al Hasan:
MIRAGE: An Iterative MapReduce based FrequentSubgraph Mining Algorithm.
Suayb S. Arslan, Jaewook Lee, Turguy Goker:
Embedding Noise Prediction into List-Viterbi Decoding using Error Detection Codes for Magnetic Tape Systems.
Xiao Chen, Zizhuo Wang:
A Near-Optimal Dynamic Learning Algorithm for Online Matching Problems with Concave Returns.
Guang Yang, John H. Hipwell, David J. Hawkes, Simon R. Arridge:
Numerical Methods for Coupled Reconstruction and Registration in Digital Breast Tomosynthesis.
Najla Akram Al-Saati, Marwa Abd-AlKareem:
The Use of Cuckoo Search in Estimating the Parameters of Software Reliability Growth Models.
Yahya H. Ezzeldin, Radwa A. Sultan, Karim G. Seddik:
Sparse Reconstruction-based Detection of Spatial Dimension Holes in Cognitive Radio Networks.
Yahya H. Ezzeldin, Karim G. Seddik:
Pseudo-Lattice Treatment for Subspace Aligned Interference Signals.
Xuelin Shi, Ke Xu, Jiangchuan Liu, Yong Wang:
Continuous Double Auction Mechanism and Bidding Strategies in Cloud Computing Markets.
Damien Lefortier, Liudmila Ostroumova, Egor Samosvat, Pavel Serdyukov:
Timely crawling of high-quality ephemeral new content.
Theodore Book, Dan S. Wallach:
A Case of Collusion: A Study of the Interface Between Ad Libraries and their Apps.
Steven David Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Forecasting Intermittent Demand by Hyperbolic-Exponential Smoothing.
Liang Liu, Rui Zhang, Kee-Chaing Chua:
Secrecy Wireless Information and Power Transfer with MISO Beamforming.
Ruoyu Sun, Zhi-Quan Luo:
Two Performance-limiting Factors for Interference Alignment: Channel Diversity Order and the Number of Data Streams Per User.
Paul Reverdy, Vaibhav Srivastava, Naomi Ehrich Leonard:
Modeling Human Decision-making in Generalized Gaussian Multi-armed Bandits.
Nisheeth Joshi, Hemant Darbari, Iti Mathur:
Human and Automatic Evaluation of English-Hindi Machine Translation.
Lucas Paletta, Laurent Itti, Björn W. Schuller, Fang Fang:
6th International Symposium on Attention in Cognitive Systems 2013.
Moritz Kreutzer, Georg Hager, Gerhard Wellein, Holger Fehske, Alan R. Bishop:
A unified sparse matrix data format for modern processors with wide SIMD units.
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn:
Static Contract Checking for Scripting Languages.
Ankur Sinha, Pekka Malo, Anton Frantsev, Kalyanmoy Deb:
Finding Optimal Strategies in a Multi-Period Multi-Leader-Follower Stackelberg Game Using an Evolutionary Algorithm.
Ankur Sinha, Pekka Malo, Anton Frantsev, Kalyanmoy Deb:
Multi-objective Stackelberg Game Between a Regulating Authority and a Mining Company: A Case Study in Environmental Economics.
Waldemar W. Koczkodaj, Ryszard Szwarc:
On Axiomatization of Inconsistency Indicators in Pairwise Comparisons.
Xiaoming Chen, Chau Yuen, Zhaoyang Zhang:
Wireless Energy and Information Transfer Tradeoff for Limited Feedback Multi-Antenna Systems with Energy Beamforming.


Tom Hirschowitz:
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting.
Mohammad Ibrahim Khan, Md. Maklachur Rahman, Md. Iqbal Hasan Sarker:
Digital Watermarking for Image AuthenticationBased on Combined DCT, DWT and SVD Transformation.

Tanya Chernyakova, Yonina C. Eldar:
Fourier Domain Beamforming: The Path to Compressed Ultrasound Imaging.
Zhiping Jiang, Jizhong Zhao, Xiang-Yang Li, Wei Xi, Kun Zhao, Shaojie Tang, Jinsong Han:
Communicating Is Crowdsourcing: Wi-Fi Indoor Localization with CSI-based Speed Estimation.
Stefano Rosati, Karol Kruzelecki, Louis Traynard, Bixio Rimoldi:
Speed-Aware Routing for UAV Ad-Hoc Networks.
Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi:
Computability of Probability Distributions and Characteristic Functions.
Karl Harrison, Jonathan P. Bowen, Alice M. Bowen:
Electronic Visualisation in Chemistry: From Alchemy to Art.
Josif Grabocka, Martin Wistuba, Lars Schmidt-Thieme:
Time-Series Classification Through Histograms of Symbolic Polynomials.
Umakant Mishra:
Inventions on reducing number of keys on a Computer Keyboard - A TRIZ based analysis.
Ralph Tanbourgi, Harpreet S. Dhillon, Jeffrey G. Andrews, Friedrich K. Jondral:
Effect of Spatial Interference Correlation on the Performance of Maximum Ratio Combining.
Nicolas Boumal, Xiuyuan Cheng:
Expected performance bounds for estimation on graphs from random relative measurements.
Bijay Paikaray:
Relative Performance of a Multi-level Cache with Last-Level Cache Replacement: An Analytic Review.
Bartosz Boguslawski, Vincent Gripon, Fabrice Seguin, Frédéric Heitzmann:
Storing non-uniformly distributed messages in networks of neural cliques.
Christian Knauer, Stefan König, Daniel Werner:
Fixed Parameter Complexity and Approximability of Norm Maximization.
Van Tien Nguyen, Christian Sallaberry, Mauro Gaio:
Mesure de la similarité entre termes et labels de concepts ontologiques.
Gábor Ivanyos, Marek Karpinski, Youming Qiao, Miklos Santha:
Generalized Wong sequences and their applications to Edmonds' problems.
Alain Couvreur, Philippe Gaborit, Valérie Gauthier-Umaña, Ayoub Otmani, Jean-Pierre Tillich:
Distinguisher-Based Attacks on Public-Key Cryptosystems Using Reed-Solomon Codes.
Ayse Ünsal, Raymond Knopp:
Distortion bounds and Two-Way Protocols for One-Shot Transmission of Correlated Random Variables.
Hector Ferrada, Travis Gagie, Tommi Hirvola, Simon J. Puglisi:
AliBI: An Alignment-Based Index for Genomic Datasets.
Florent Becker, Mathieu Chapelle, Jérôme Durand-Lose, Vincent Levorato, Maxime Senot:
Abstract Geometrical Computation 8: Small Machines, Accumulations and Rationality.
Sundeep Prabhakar Chepuri, Geert Leus, Alle-Jan van der Veen:
Rigid Body Localization Using Sensor Networks: Position and Orientation Estimation.
Bubacarr Bah, Jared Tanner:
On construction and analysis of sparse random matrices and expander graphs with applications to compressed sensing.
Aleksandar Ilic:
On the variable common due date, minimal tardy jobs bicriteria two-machine flow shop problem with ordered machines.
Parinaz Naghizadeh Ardabili, Mingyan Liu:
Incentives, Quality, and Risks: A Look Into the NSF Proposal Review Pilot.
Shofwatul 'Uyun, Sri Hartati, Agus Harjoko, Subanar:
Selection Mammogram Texture Descriptors Based on Statistics Properties Backpropagation Structure.
M. A. El-Dosuky:
Veni Vidi Vici, A Three-Phase Scenario For Parameter Space Analysis in Image Analysis and Visualization.
Abdelkarim Moumen, Abdelkarim Zatni, Abdelhamid Elkaaouachi, Abdenabi Elyamani, Hamza Bousseta:
Time-Domain Large Signal Investigation on Dynamic Responses of the GDCC Quarterly Wavelength Shifted Distributed Feedback Semiconductor Laser.

Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer:
A Theory of Partitioned Global Address Spaces.
Shaobo Lin, Chen Xu, Jinshan Zeng, Jian Fang:
Does generalization performance of lq regularization learning depend on q? A negative example.
Zhixiong Chen, Zhihua Niu, Chenhuang Wu:
On the $k$-error linear complexity of binary sequences derived from polynomial quotients.

Chetan Jhurani, Travis M. Austin, Michael A. Heroux, James M. Willenbring:
Supporting 64-bit global indices in Epetra and other Trilinos packages - Techniques used and lessons learned.
Ruchir Gupta, Yatindra Nath Singh:
A Reputation Based Framework to Avoid Free-riding in Unstructured Peer-to-Peer network.
Luérbio Faria, Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Tao-Ming Wang, Yue-Li Wang:
On Complexities of Minus Domination.

Jonathan Scarlett, Li Peng, Neri Merhav, Alfonso Martinez, Albert Guillen i Fabregas:
Expurgated Random-Coding Ensembles: Exponents, Refinements and Connections.
Valentina Martina, Michele Garetto, Emilio Leonardi:
A unified approach to the performance analysis of caching systems.
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions.
Steven T. Piantadosi, Harry Tily, Edward Gibson:
Information content versus word length in natural language: A reply to Ferrer-i-Cancho and Moscoso del Prado Martin [arXiv: 1209.1751].
Sebastian Kniesburges, Andreas Koutsopoulos, Christian Scheideler:
CONE-DHT: A distributed self-stabilizing algorithm for a heterogeneous storage system.
Lucy Amez, Nadine Rons:
Composing a Publication List for Individual Researcher Assessment by Merging Information from Different Sources.
Nadine Rons, Arlette De Bruyn:
Quality related publication categories in social sciences and humanities, based on a university's peer review assessments.
Nadine Rons:
Output and citation impact of interdisciplinary networks: Experiences from a dedicated funding program.
Ilia Levi, Dan Vilenchik, Michael Langberg, Michelle Effros:
Zero vs. epsilon Error in Interference Channels.

Nadine Rons:
Characteristics of International versus Non-International Scientific Publication Media in Team- and Author-Based Data.
Nadine Rons:
Partition-based Field Normalization: An approach to highly specialized publication records.


Eugénio Rodrigues, Adélio Rodrigues Gaspar, Álvaro Gomes:
A gradient descent technique coupled with a dynamic simulation to determine the near optimum of floor plan designs.
Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine, Farah El-Hariri:
Specification Construction Using Behaviours, Equivalences, and SMT Solvers.
Johannes Borgström, Bas Luttik:
Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013. EPTCS 120, 2013 [contents]
Rajib Kumar Rana, Mingrui Yang, Tim Wark, Chun Tung Chou, Wen Hu:
A Deterministic Construction of Projection matrix for Adaptive Trajectory Compression.
Reza Hooshmand, Masoumeh Koochak Shooshtari, Mohammad Reza Aref:
Secret Key Cryptosystem based on Polar Codes over Binary Erasure Channel.
Faisal Rasheed Lone, Arjun Puri, Sudesh Kumar:
Performance Comparison of Reed Solomon Code and BCH Code over Rayleigh Fading Channel.
Renu Mudgal, Rosy Madaan, A. K. Sharma, Ashutosh Dixit:
A Novel Architecture For Question Classification Based Indexing Scheme For Efficient Question Answering.
Béla Csaba, Thomas A. Plick, Ali Shokoufandeh:
Optimal Random Matchings, Tours, and Spanning Trees in Hierarchically Separated Trees.
Alvaro Cabezas-Clavijo, Emilio Delgado López-Cózar:
Google Scholar Metrics 2013: nothing new under the sun.

(Withdrawn) Reduced egomotion estimation drift using omnidirectional views.
K. S. Kuppusamy, Leena Mary Francis, G. Aghila:
LogMin: A Model For Call Log Mining In Mobile Devices.
Reza Azizi:
Performance study and simulation of an anycast protocol for wireless mobile ad hoc networks.
Weisi Guo, Siyi Wang, Xiaoli Chu:
Towards a Better Understanding of Multi-User Cooperation: A Tradeoff between Transmission Reliability and Rate.
Marco Anisetti, Claudio Agostino Ardagna, Michele Bezzi, Ernesto Damiani, Antonino Sabetta:
Machine-Readable Privacy Certificates for Services.
Milos S. Stankovic, Srdjan S. Stankovic, Karl Henrik Johansson:
Distributed Macro Calibration via Output Synchronization in Lossy Sensor Networks.
Andrey Bereza, Maksim Lyashov, Luis Blanco:
Finite State Machine Synthesis for Evolutionary Hardware.
Stefanie Roos, Hani Salah, Thorsten Strufe:
Comprehending Kademlia Routing - A Theoretical Framework for the Hop Count Distribution.
Mohsin Raza Jafri, S. Ahmed, Nadeem Javaid, Zaheer Ahmad, R. J. Qureshi:
AMCTD: Adaptive Mobility of Courier nodes in Threshold-optimized DBR Protocol for Underwater Wireless Sensor Networks.


Nadine Rons, Arlette De Bruyn, Jan Cornelis:
Research evaluation per discipline: a peer-review method and its outcomes.
Nadine Rons, Lucy Amez:
Impact vitality: an indicator based on citing publications in search of excellent scientists.
Drazen Lucanin, Ivona Brandic:
Take a break: cloud scheduling optimized for real-time electricity pricing.
Khalid Raza, Atif N. Hasan:
A Comprehensive Evaluation of Machine Learning Techniques for Cancer Class Prediction Based on Microarray Data.
A. Haider, Nadeem Javaid, N. Amjad, A. A. Awan, Abid Khan, Nasir Khan:
REECH-ME: Regional Energy Efficient Cluster Heads based on Maximum Energy Routing Protocol for WSNs.
I. Khan, Nadeem Javaid, M. N. Ullah, Anzar Mahmood, M. U. Farooq:
A Survey of Home Energy Management Systems in Future Smart Grid Communications.
Danish Mahmood, Nadeem Javaid, Shaharyar Mahmood, S. U. Qureshi, A. M. Memon, T. Zaman:
MODLEACH: A Variant of LEACH for WSNs.
Antti Valmari:
The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem (Extended Version).
Anum Tauqir, Nadeem Javaid, S. Akram, Areeba Rao, Saad Noor Mohammad:
Distance Aware Relaying Energy-efficient: DARE to Monitor Patients in Multi-hop Body Area Sensor Networks.
N. Amjad, Nadeem Javaid, A. Haider, A. A. Awan, M. Rahman:
DREEM-ME: Distributed Regional Energy Efficient Multi-hop Routing Protocol based on Maximum Energy in WSNs.
Weitian Tong, Zhi-Zhong Chen, Lusheng Wang, Yinfeng Xu, Jiuping Xu, Randy Goebel, Guohui Lin:
An approximation algorithm for the Bandpass-2 problem.
Mahin Abbasipour:
Toward Recovering Complete SRS for Softbody Simulation System and a Sample Application - a Team 9a SOEN6481 W13 Project Report.
Q. Nadeem, Nadeem Javaid, Saad Noor Mohammad, M. Y. Khan, S. Sarfraz, M. Gull:
SIMPLE: Stable Increased-throughput Multi-hop Protocol for Link Efficiency in Wireless Body Area Networks.
Q. Nadeem, Muhammad Babar Rasheed, Nadeem Javaid, Zahoor Ali Khan, Y. Maqsood, A. Din:
M-GEAR: Gateway-Based Energy-Aware Multi-Hop Routing Protocol for WSNs.
S. Akram, Nadeem Javaid, Anum Tauqir, Areeba Rao, Saad Noor Mohammad:
THE-FAME: THreshold based Energy-efficient FAtigue MEasurment for Wireless Body Area Sensor Networks using Multiple Sinks.
Y. Khan, Nadeem Javaid, M. J. Khan, Y. Ahmad, M. H. Zubair, S. A. Shah:
LPCH and UDLPCH: Location-aware Routing Techniques in WSNs.

Piyush Ahuja:
Man and Machine: Questions of Risk, Trust and Accountability in Today's AI Technology.
Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe:
An Architecture for Autonomously Controlling Robot with Embodiment in Real World.
Eirina Bourtsoulatze, Nikolaos Thomos, Pascal Frossard:
Reconstruction of Network Coded Sources From Incomplete Datasets.

Gabi Sarkis, Pascal Giard, Alexander Vardy, Claude Thibeault, Warren J. Gross:
Fast Polar Decoders: Algorithm and Implementation.
Aleams Barra, Heide Gluesing-Luerssen:
MacWilliams Extension Theorems and the Local-Global Property for Codes over Rings.
Antonio Franchi, Paolo Stegagno, Giuseppe Oriolo:
Decentralized Multi-Robot Target Encirclement in 3D Space.
Brian Keegan, Daniel B. Horn, Thomas A. Finholt, Joseph Kaye:
Structure and Dynamics of Coauthorship, Citation, and Impact within CSCW.
Fanny Parzysz, Mai Vu, François Gagnon:
Impact of Propagation Environment on Energy-Efficient Relay Placement: Model and Performance Analysis.
Mehrdad Mahdavi, Rong Jin:
MixedGrad: An O(1/T) Convergence Rate Algorithm for Stochastic Smooth Optimization.


Vinay Joseph, Gustavo de Veciana:
NOVA: QoE-driven Optimization of DASH-based Video Delivery in Networks.
Giovanni Geraci, Harpreet S. Dhillon, Jeffrey G. Andrews, Jinhong Yuan, Iain B. Collings:
Physical Layer Security in Downlink Multi-Antenna Cellular Networks.
Fuxi Wen:
Diffusion Least Mean P-Power Algorithms for Distributed Estimation in Alpha-Stable Noise Environments.
Adrian Ogierman, Andréa W. Richa, Christian Scheideler, Stefan Schmid, Jin Zhang:
Competitive MAC under Adversarial SINR.
Arijit Banerjee, Dustin Maas, Maurizio Bocca, Neal Patwari, Sneha Kumar Kasera:
Through Wall People Localization Exploiting Radio Windows.
Saad Noor Mohammad, M. J. Ashraf, S. Wasiq, Sehar Iqbal, Nadeem Javaid:
Analysis and Modeling of Network Connectivity in Routing Protocols for MANETs and VANETs.
Saad Noor Mohammad, S. Wasiq, W. Arshad, Nadeem Javaid, S. Khattak, M. J. Ashraf:
Modeling Probability of Path Loss for DSDV, OLSR and DYMO above 802.11 and 802.11p.
Anum Tauqir, S. Akram, A. H. Khan, Nadeem Javaid, M. Akbar:
Non-Invasive Induction Link Model for Implantable Biomedical Microsystems: Pacemaker to Monitor Arrhythmic Patients in Body Area Networks.
Nadeem Javaid, S. Faisal, Zahoor Ali Khan, D. Nayab, M. Zahid:
Measuring Fatigue of Soldiers in Wireless Body Area Sensor Networks.
Areeba Rao, M. Akbar, Nadeem Javaid, Saad Noor Mohammad, S. Sarfraz:
AM-DisCNT: Angular Multi-hop DIStance based Circular Network Transmission Protocol for WSNs.
Stelios Stefanatos, Angeliki Alexiou:
Access Point Density and Bandwidth Partitioning in Ultra Dense Wireless Networks.
Iván Blanco-Chacón, Dionís Remón, Camilla Hollanti, Montserrat Alsina:
Fuchsian codes for AWGN channels.
Leonardo I. L. Oliveira, Valmir Carneiro Barbosa, Fábio Protti:
The predecessor-existence problem for k-reversible processes.

Florin Ciucu, Jens B. Schmitt:
On the Catalyzing Effect of Randomness on the Per-Flow Throughput in Wireless Networks.
Harjinder Kaur, Gurpreet Singh, Jaspreet Minhas:
A Review of Machine Learning based Anomaly Detection Techniques.
Denzil Correa, Ashish Sureka:
Fit or Unfit : Analysis and Prediction of 'Closed Questions' on Stack Overflow.

Richard Combes, Alexandre Proutière, Donggyu Yun, Jungseul Ok, Yung Yi:
Optimal Rate Sampling in 802.11 Systems.
Piotr Faliszewski, Yannick Reisch, Jörg Rothe, Lena Schend:
Complexity of Manipulation, Bribery, and Campaign Management in Bucklin and Fallback Voting.
Zhong Li, Cheng Wang, Siqian Yang, Changjun Jiang, Ivan Stojmenovic:
Improving Data Forwarding in Mobile Social Networks with Infrastructure Support: A Space-Crossing Community Approach.
Eiad Basher Alhyasat, Mahmoud Al-Dalahmeh:
Data Warehouse Success and Strategic Oriented Business Intelligence: A Theoretical Framework.
Aditya Kurve, David J. Miller, George Kesidis:
Multicategory Crowdsourcing Accounting for Plurality in Worker Skill and Intention, Task Difficulty, and Task Heterogeneity.
(Withdrawn) PRINCE: Privacy-Preserving Mechanisms for Influence Diffusion in Online Social Networks.
Fiks Ilya:
A novel method based on the Tikhonov functional for non-negative solution of a system of linear equations with non-negative coefficients.
Emanuele Bastianelli, Domenico Bloisi, Roberto Capobianco, Guglielmo Gemignani, Luca Iocchi, Daniele Nardi:
Knowledge Representation for Robots through Human-Robot Interaction.



Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, David Rajaratnam:
ROSoClingo: A ROS package for ASP-based robot control.
Przemyslaw Andrzej Walega:
Reasoning for Moving Blocks Problem: Formal Representation and Implementation.
Wajdi Dhifli, Mohamed Moussaoui, Rabie Saidi, Engelbert Mephu Nguifo:
Towards an Efficient Discovery of the Topological Representative Subgraphs.
Amin Babazadeh Sangar, Seyyed Reza Khaze, Laya Ebrahimi:
Participation anticipating in elections using data mining methods.
Farhad Soleimanian Gharehchopogh, Seyyed Reza Khaze:
Data mining application for cyber space users tendency in blog writing: a case study.
Zhili Chen, Liusheng Huang, Lu Li, Wei Yang, Haibo Miao, Miaomiao Tian, Fei Wang:
PS-TRUST: Provably Secure Solution for Truthful Double Spectrum Auctions.
Farhad Soleimanian Gharehchopogh, Isa Maleki, Seyyed Reza Khaze:
A new approach in dynamic traveling salesman problem: a hybrid of ant colony optimization and descending gradient.
Iliano Cervesato, Jorge Luis Sacchini:
Towards Meta-Reasoning in the Concurrent Logical Framework CLF. 2-16
Daniel Gebler, Simone Tini:
Compositionality of Approximate Bisimulation for Probabilistic Systems. 32-46
Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar:
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization. 47-62
Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi:
Algebraic Meta-Theory of Processes with Data. 63-77
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
Meta SOS - A Maude Based SOS Meta-Theory Framework. 93-107
Zhiyong Chen, Biao Wang, Bin Xia, Hui Liu:
Wireless Information and Power Transfer in Two-Way Amplify-and-Forward Relaying Channels.
Hong Xu, Baochun Li:
RepFlow: Minimizing Flow Completion Times with Replicated Flows in Data Centers.
Esra Erdem, Volkan Patoglu, Peter Schüller:
Levels of Integration between Low-Level Reasoning and Task Planning.
Sharath Chandra Guntuku, Pratik Narang, Chittaranjan Hota:
Real-time Peer-to-Peer Botnet Detection Framework based on Bayesian Regularized Neural Network.
Damien Jade Duff, Esra Erdem, Volkan Patoglu:
Integration of 3D Object Recognition and Planning for Robotic Manipulation: A Preliminary Report.
Puneet Kumar, Dharminder Kumar, Narendra Kumar:
Improved Service Delivery and Cost Effective Framework for e-Governance in India.
R. Subash Chandra Boss, K. Thangavel, D. Arul Pon Daniel:
Automatic Mammogram image Breast Region Extraction and Removal of Pectoral Muscle.
Iza Marfisi-Schottman, Jean-Marc Labat, Thibault Carron:
Building on the Case Teaching Method to Generate Learning Games Relevant to Numerous Educational Fields.
Zeynep Dogmus, Esra Erdem, Volkan Patoglu:
ReAct! An Interactive Tool for Hybrid Planning in Robotics.
Lutz Bornmann, Werner Marx, Andreas Barth:
The normalization of citation counts based on classification systems.
P. Vasanth Sena:
An Approach Finding Frequent Items In Text Or Transactional Data Base By Using BST To Improve The Efficiency Of Apriori Algorithm.
Mohsen Joneidi, Parvin Ahmadi, Mostafa Sadeghi:
A Union of Low-Rank Subspaces Detector: Application to Radar Signal Detection and Voice Activity Detection.
Felix Fontein, Michael Schneider, Urs Wagner:
PotLLL: A Polynomial Time Version of LLL With Deep Insertions.
Derrick Wing Kwan Ng, Lin Xiang, Robert Schober:
Multi-Objective Beamforming for Secure Communication in Systems with Wireless Information and Power Transfer.
Yuzhe Xu, George Athanasiou, Carlo Fischione, Leandros Tassiulas:
Distributed Association Control and Relaying in MillimeterWave Wireless Access Networks.
Jun Liu, Zheng Zhao, Jie Wang, Jieping Ye:
Safe Screening With Variational Inequalities and Its Applicaiton to LASSO.
Florin Ciucu, Ramin Khalili, Yuming Jiang, Liu Yang, Yong Cui:
A System Theoretic Approach for Network Capacity in Finite Time and Space Regimes.

Patrick Zwickl, Paul Fuxjäger, Ivan Gojmerac, Peter Reichl:
Wi-Fi Offload: Tragedy of the Commons or Land of Milk and Honey?
(Withdrawn) Association schemes, non-commutative polynomial concentration, and sum-of-squares lower bounds for planted clique.
Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan, Duc-Khanh Tran:
Resolution in Linguistic Propositional Logic based on Linear Symmetrical Hedge Algebra.
Kartik Talamadupula, Subbarao Kambhampati:
Herding the Crowd: Automated Planning for Crowdsourced Planning.
Guoming Tang, Kui Wu, Jingsheng Lei, Zhongqin Bi, Jiuyang Tang:
From Landscape to Portrait: A New Approach for Load Curve Data Analysis and Cleansing.
Harsh Bhatia, Bei Wang, Gregory Norgard, Valerio Pascucci, Peer-Timo Bremer:
Local, Smooth, and Consistent Jacobi Set Simplification.
Guoming Tang, Kui Wu, Jian Pei, Jiuyang Tang, Jingsheng Lei:
Is My Electricity Bill Accurate? A Model-Driven Approach to Corrupted Load Data Identification.


Jeffrey G. Andrews, Sarabjot Singh, Qiaoyang Ye, Xingqin Lin, Harpreet S. Dhillon:
An Overview of Load Balancing in HetNets: Old Myths and Open Problems.
Quist-Aphetsi Kester:
A Hybrid Cryptosystem Based On Vigenere Cipher and Columnar Transposition Cipher.
Quist-Aphetsi Kester, Koumadi, Koudjo M, Nii Narku Quaynor:
An Integrated Geographic Information System and Marketing Information System Model.
Quist-Aphetsi Kester:
Computer Aided Investigation: Visualization and Analysis of data from Mobile communication devices using Formal Concept Analysis.
Quist-Aphetsi Kester:
The Role of Rural Banks in Providing Mobile Money Services to Rural Poor Communities: An effective integration approach of Rural Banks and existing mobile communications infrastructure.
Quist-Aphetsi Kester:
Using SOA with Web Services for effective Integration of Hospital Information Systems via an Enterprise Service Bus.
He Huang, Xiang-Yang Li, Yu-e Sun, Hongli Xu, Liusheng Huang:
PPS: Privacy-Preserving Strategyproof Social-Efficient Spectrum Auction Mechanisms.
Yongsub Lim, Kyomin Jung, Pushmeet Kohli:
Multi-dimensional Parametric Mincuts for Constrained MAP Inference.

Hongwei Wang, F. Richard Yu, Li Zhu, Tao Tang, Bin Ning:
Finite-State Markov Modeling of Tunnel Channels in Communication-based Train Control (CBTC) Systems.
Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration.
Jesper Jansson, Chuanqi Shen, Wing-Kin Sung:
Algorithms for the Majority Rule (+) Consensus Tree and the Frequency Difference Consensus Tree.
Jun Deng, Rongqing Zhang, Lingyang Song, Zhu Han, Bingli Jiao:
Truthful Mechanisms for Secure Communication in Wireless Cooperative System.
Sudheer Vakati, David Fernández-Baca:
Characterizing Compatibility and Agreement of Unrooted Trees via Cuts in Graphs.
Animesh Kr Trivedi, Rishi Kapoor, Rajan Arora, Sudip Sanyal, Sugata Sanyal:
RISM - Reputation Based Intrusion Detection System for Mobile Ad hoc Networks.
Mohab Safey El Din, Éric Schost:
A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets.
Sang Yeob Jung, Seung Min Yu, Seong-Lyun Kim:
Asymmetric-valued Spectrum Auction and Competition in Wireless Broadband Services.
Laurent Bulteau, Guillaume Fertin, Christian Komusiewicz, Irena Rusu:
A Fixed-Parameter Algorithm for Minimum Common String Partition with Few Duplications.
Lucas Paletta, Katrin Santner, Gerald Fritz:
An Integrated System for 3D Gaze Recovery and Semantic Analysis of Human Attention.
Stéphane Graham-Lengrand, Luca Paolini:
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. EPTCS 121, 2013 [contents]
Jingdong Wang, Jing Wang, Gang Zeng, Zhuowen Tu, Rui Gan, Shipeng Li:
Scalable $k$-NN graph construction.
Natalia Malinina:
The chromatic class and the chromatic number of the planar conjugated triangulation.
Robert Speck, Daniel Ruprecht, Matthew Emmett, Matthias Bolten, Rolf Krause:
A space-time parallel solver for the three-dimensional heat equation.
Samir Avdakovic, Amir Nuhanovic, Mirza Kusljugic, Elvisa Becirovic:
Wavelet Analysis of Dynamic Behaviors of the Large Interconnected Power System.
Ibrahim Omerhodzic, Samir Avdakovic, Amir Nuhanovic, Kemal Dizdarevic:
Energy Distribution of EEG Signals: EEG Signal Wavelet-Neural Network Classifier.
Zhen Jia, Runlin Zhou, Chunge Zhu, Lei Wang, Wanling Gao, Yingjie Shi, Jianfeng Zhan, Lixin Zhang:
The Implications of Diverse Applications and Scalable Data Sets in Benchmarking Big Data Systems.
Shigeru Ninagawa, Genaro J. Martínez:
Complexity Analysis in Cyclic Tag System Emulated by Rule 110.
Adam S. Charles, Han Lun Yap, Christopher J. Rozell:
Short Term Memory Capacity in Networks via the Restricted Isometry Property.
Jason Weston, Antoine Bordes, Oksana Yakhnenko, Nicolas Usunier:
Connecting Language and Knowledge Bases with Embedding Models for Relation Extraction.
Jingdong Wang, Jiazhen Zhou, Hao Xu, Tao Mei, Xian-Sheng Hua, Shipeng Li:
Image Tag Refinement by Regularized Latent Dirichlet Allocation.
Weiguang Wang, Yingbin Liang, Eric P. Xing:
Sharp Threshold for Multivariate Multi-Response Linear Regression via Block Regularized Lasso.
Holger Boche, Minglai Cai, Christian Deppe:
Classical-Quantum Arbitrarily Varying Wiretap Channel - A Capacity Formula with Ahlswede Dichotomy - Resources.
Zhen Jia, Lei Wang, Jianfeng Zhan, Lixin Zhang, Chunjie Luo:
Characterizing Data Analysis Workloads in Data Centers.
Adel Bouhoula, Tetsuo Ida, Fairouz Kamareddine:
Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012. EPTCS 122, 2013 [contents]
Nikhil R. Devanur, Jugal Garg, László A. Végh:
A Rational Convex Program for Linear Arrow-Debreu Markets.
Xinghao Pan, Joseph E. Gonzalez, Stefanie Jegelka, Tamara Broderick, Michael I. Jordan:
Optimistic Concurrency Control for Distributed Unsupervised Learning.
Rushdi Shams, Robert E. Mercer:
Extracting Connected Concepts from Biomedical Texts using Fog Index.
Mat Kelly, Justin F. Brunelle, Michele C. Weigle, Michael L. Nelson:
On the Change in Archivability of Websites Over Time.
Guanfeng Liang, Ulas C. Kozat:
TOFEC: Achieving Optimal Throughput-Delay Trade-off of Cloud Storage Using Erasure Codes.
Shiqi Zhang, Mohan Sridharan:
Combining Answer Set Programming and POMDPs for Knowledge Representation and Reasoning on Mobile Robots.
Quist-Aphetsi Kester:
Visualization and Analysis of Geographical Crime Patterns Using Formal Concept Analysis.
Esther Ezra:
A Size-Sensitive Discrepancy Bound for Set Systems of Bounded Primal Shatter Dimension.
Quist-Aphetsi Kester, Ajibade Ibrahim Kayode:
Using SOA with Web Services for effective data integration of Enterprise Pharmaceutical Information Systems.
Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing.

Syaprina, Leon Andretti Abdillah, Nyimas Sopiah:
Sistem Informasi Penjualan Dan Perbaikan Komputer (Studi Kasus: CV Computer Plus Palembang).
Akitoshi Kawamura, Takuma Okamoto, Yuichi Tatsu, Yushi Uno, Masahide Yamato:
Morpion Solitaire 5D: a new upper bound of 121 on the maximum score.
Charith Perera, Arkady B. Zaslavsky, Peter Christen, Dimitrios Georgakopoulos:
Sensing as a Service Model for Smart Cities Supported by Internet of Things.
Sung Sik Nam, Hong-Chuan Yang, Mohamed-Slim Alouini, Dong In Kim:
Technical Report: An MGF-based Unified Framework to Determine the Joint Statistics of Partial Sums of Ordered i.n.d. Random Variables.
Jaume Pernas, Bernat Gaston, Chau Yuen, Jaume Pujol:
Non-homogeneous Two-Rack Model for Distributed Storage Systems.
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
Characterisation of Strongly Normalising lambda-mu-Terms. 1-17
Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn:
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis. 18-34
Erika De Benedetti, Simona Ronchi Della Rocca:
Bounding normalization time through intersection types. 48-57
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Toward Isomorphism of Intersection and Union types. 58-80
Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection. 1-9
Assia Ben Shil, Kaouthar Blibech, Riadh Robbana, Wafa Neji:
A New PVSS Scheme with a Simple Encryption Function. 11-22
Hatem Ghabri, Ghazi Maatoug, Michaël Rusinowitch:
Compiling symbolic attacks to protocol implementation tests. 39-49
Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker:
Formal verification of a proof procedure for the description logic ALC. 51-61
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet:
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. 63-73
Naeem Abbasi, Osman Hasan, Sofiène Tahar:
Formal Analysis of Soft Errors using Theorem Proving. 75-84
Amira Henaien, Sorin Stratulat:
Performing Implicit Induction Reasoning with Certifying Proof Environments. 97-108
Deepti Kapri, Rosy Madaan, A. K. Sharma, Ashutosh Dixit:
A Novel Architecture for Relevant Blog Page Identifcation.

Jan Tünnermann, Markus Hennig, Michael Silbernagel, Bärbel Mertsching:
A Prototyping Environment for Integrated Artificial Attention Systems.
Werner Marx, Lutz Bornmann, Andreas Barth, Loet Leydesdorff:
Detecting the historical roots of research fields by reference publication year spectroscopy (RPYS).
Abhay Sharma, Chandra R. Murthy:
On Finding a Subset of Healthy Individuals from a Large Population.
Masaaki Nagahara, Daniel E. Quevedo, Jan Østergaard:
Sparse Packetized Predictive Control for Networked Control over Erasure Channels.
Mauro Femminella, Francesco Giacinti, Gianluca Reali:
Enhancing Java Call Control with Media Server Control functions.
Sourav Chakraborty, Rameshwar Pratap, Sasanka Roy, Shubhangi Saraf:
Helly-Type Theorems in Property Testing.
Serge Abiteboul, Émilien Antoine, Gerome Miklau, Julia Stoyanovich, Vera Zaychik Moffitt:
Introducing Access Control in Webdamlog.
Somayeh Nabizadeh, Alireza Rezvanian, Mohammad Reza Meybodi:
Tracking Extrema in Dynamic Environment using Multi-Swarm Cellular PSO with Local Search.
Aurélien Greuet, Mohab Safey El Din:
Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set.
Ilya Y. Zhbannikov, Gregory W. Donohoe:
Allocating the chains of consecutive additions for optimal fixed-point data path synthesis.
Thakshila Wimalajeewa, Pramod K. Varshney:
Joint Sparsity Pattern Recovery under Communication Constraints: Greedy Approaches.
Ryma Abassi, Sihem Guemara El Fatmi:
Delegation Management Modeling in a Security Policy based Environment. 85-95
Nana Yaw Asabere, Nana Kwame Gyamfi:
AIDSS-HR: An Automated Intelligent Decision Support System for Enhancing the Performance of Employees.
Pranjal Awasthi, Maria-Florina Balcan, Philip M. Long:
The Power of Localization for Efficiently Learning Linear Separators with Malicious Noise.
Ricardo Rocha, Christian Theil Have:
Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems.
Ilya Y. Zhbannikov, Gregory W. Donohoe:
FpSynt: a fixed-point datapath synthesis tool for embedded systems.
Bartlomiej Blaszczyszyn, Miodrag Jovanovic, Mohamed Kadhem Karray:
Mean user throughput versus traffic demand in large irregular cellular networks - a typical cell approach explaining real field measurements.
François Baccelli, Bartlomiej Blaszczyszyn, Chandramani Singh:
Analysis of a Proportionally Fair and Locally Adaptive spatial Aloha in Poisson Networks.
Bryan R. Conroy, Jennifer M. Walz, Brian Cheung, Paul Sajda:
Fast Simultaneous Training of Generalized Linear Models (FaSTGLZ).


Kun Yang:
Simple one-pass algorithm for penalized linear regression with cross-validation on MapReduce.
Marco Benini:
Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism.
Dan E. Willard:
On the Significance of Self-Justifying Axiom Systems from the Perspective of Analytic Tableaux.
(Withdrawn) Quantum nonlocality allows for ever-lasting unconditionally secure bit commitment.

Peyman Mohajerin Esfahani, Tobias Sutter, John Lygeros:
Performance Bounds for the Scenario Approach and an Extension to a Class of Non-convex Programs.


Ian J. Goodfellow, Dumitru Erhan, Pierre Luc Carrier, Aaron C. Courville, Mehdi Mirza, Benjamin Hamner, William Cukierski, Yichuan Tang, David Thaler, Dong-Hyun Lee, Yingbo Zhou, Chetan Ramaiah, Fangxiang Feng, Ruifan Li, Xiaojie Wang, Dimitris Athanasakis, John Shawe-Taylor, Maxim Milakov, John Park, Radu Tudor Ionescu, Marius Popescu, Cristian Grozea, James Bergstra, Jingjing Xie, Lukasz Romaszko, Bing Xu, Chuang Zhang, Yoshua Bengio:
Challenges in Representation Learning: A report on three machine learning contests.
Patrick Rebentrost, Masoud Mohseni, Seth Lloyd:
Quantum support vector machine for big feature and big data classification.
Maxim Raginsky, Angelia Nedic:
Online discrete optimization in social networks in the presence of Knightian uncertainty.
Vahid Bokharaie, Gholamreza Parsaee:
An Application of Joint Spectral Radius in Power Control Problem for Wireless Communications.
Ava Bargi, Richard Yi Da Xu, Massimo Piccardi:
A non-parametric conditional factor regression model for high-dimensional input and response.
Julian Sienkiewicz, Krzysztof Soja, Janusz A. Holyst, Peter M. A. Sloot:
Categorical and Geographical Separation in Science.


Baosen Zhang, Alejandro D. Domínguez-García, David Tse:
A Local Control Approach to Voltage Regulation in Distribution Networks.
Sarah J. Kunkler, Michael Drew Lamar, Rex K. Kincaid, David Phillips:
Algorithm and Complexity for a Network Assortativity Measure.
Pierluigi Amodio, Yuri A. Blinkov, Vladimir P. Gerdt, Roberto La Scala:
On Consistency of Finite Difference Approximations to the Navier-Stokes Equations.
Lorenzo Pucci, Pietro Gravino, Vito Domenico Pietro Servedio:
Modeling the emergence of a new language: Naming Game with hybridization.
Max A. Alekseyev, Marina G. Basova, Nikolai Yu. Zolotykh:
The average cardinality of the minimal teaching set of a threshold function on a two-dimensional rectangular grid.
Robert M. Freund, Paul Grigas, Rahul Mazumder:
AdaBoost and Forward Stagewise Regression are First-Order Convex Optimization Methods.
Byungjoon Min, Su Do Yi, Kyu-Min Lee, K.-I. Goh:
Network robustness of correlated multiplex networks.
Johan van Benthem, David Fernández-Duque, Eric Pacuit:
Evidence and plausibility in neighborhood structures.
George A. Lozano:
The elephant in the room: multi-authorship and the assessment of individual researchers.
A. M. Khachatryan, Rafayel R. Kamalian:
On the extremal values of the number of vertices with an interval spectrum on the set of proper edge colorings of the graph of the $n$-dimensional cube.
N. N. Davtyan, R. R. Kamalian:
An inequality for the number of vertices with an interval spectrum in edge labelings of regular graphs.
Alessandro Zocca, Sem C. Borst, Johan van Leeuwaarden, Francesca R. Nardi:
Delay performance in random-access grid networks.


Emanuele Cozzo, Raquel A. Baños, Sandro Meloni, Yamir Moreno:
Contact-based Social Contagion in Multiplex Networks.
Dario Madeo, Chiara Mocenni:
A New Mathematical Model for Evolutionary Games on Finite Networks of Players.

Anna Zafeiris, Tamás Vicsek:
Group performance is maximized by hierarchical competence distribution.
Dawei Zhao, Lixiang Li, Haipeng Peng, Qun Luo, Yixian Yang:
Multiple Vectors Propagation of Epidemics in Complex Networks.
Angelia Nedic, Soomin Lee:
On Stochastic Subgradient Mirror-Descent Algorithm with Weighted Averaging.
Vladimir A. Frolov, Scott Backhaus, Misha Chertkov:
Reinforcing Power Grid Transmission with FACTS Devices.
Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Dominique Rossin:
An algorithm for deciding the finiteness of the number of simple permutations in permutation classes.
Àngel García-Cerdaña, Ventura Verdú:
On Fragments without Implications of both the Full Lambek Logic and some of its Substructural Extensions.
Bin Xu, Zhijian Wang:
Cycles of strategies and changes of distribution in public goods game: An experimental investigation.
Tyler H. Summers, Changbin Yu, Soura Dasgupta, Brian D. O. Anderson:
Certifying non-existence of undesired locally stable equilibria in formation shape control problems.
Albert Solé-Ribalta, Manlio De Domenico, Nikos E. Kouvaris, Albert Díaz-Guilera, Sergio Gómez, Alex Arenas:
Spectral properties of the Laplacian of multiplex networks.
Rossana Mastrandrea, Tiziano Squartini, Giorgio Fagiolo, Diego Garlaschelli:
Enhanced network reconstruction from irreducible local information.
Yaroslav O. Halchenko, Michael Hanke, James V. Haxby, Stephen Jose Hanson, Christoph S. Herrmann:
Transmodal Analysis of Neural Signals.
Marc Barthelemy, Patricia Bordin, Henri Berestycki, Maurizio Gribaudi:
Self-organization versus top-down planning in the evolution of a city.
Kun Zhang, Heng Peng, Laiwan Chan, Aapo Hyvärinen:
Bridging Information Criteria and Parameter Shrinkage for Model Selection.
Samuel Vaiter, Mohammad Golbabaee, Jalal Fadili, Gabriel Peyré:
Model Selection with Piecewise Regular Gauges.
Kazutaka Motoyama, Yoshikazu Tanaka, Kento Aida, Eisaku Sakane, Kenichi Miura:
Effective System for Simulating Dust Continuum Observations on Distributed Computing Resources.
Dirk Helbing:
From Technology-Driven Society to Socially Oriented Technology. The Future of Information Society - Alternatives to Surveillance.


Diane Oyen, Alexandru Niculescu-Mizil, Rachel Ostroff, Alex Stewart, Vincent P. Clark:
Controlling the Precision-Recall Tradeoff in Differential Dependency Network Analysis.
Xizhe Zhang, Tianyang Lv, Bin Zhang:
Structure controllability of complex network based on preferential matching.

Sergei Konyagin, Florian Luca, Bernard Mans, Luke Mathieson, Igor E. Shparlinski:
Functional Graphs of Polynomials over Finite Fields.
Katrin Schmietendorf, Joachim Peinke, Rudolf Friedrich, Oliver Kamps:
Self-Organized Synchronization and Voltage Stability in Networks of Synchronous Machines.



Byungjoon Min, K.-I. Goh:
Layer-crossing overhead and information spreading in multiplex social networks.
Marcus Brazil, Charl J. Ras, Doreen A. Thomas:
Approximating Minimum Steiner Point Trees in Minkowski Planes.
Emanuele Massaro, Lorenzo Valerio, Andrea Guazzini, Andrea Passarella, Franco Bagnoli:
A local algorithm for detecting community structures in dynamic networks.
Bahattin Yildiz, Suat Karadeniz:
Linear Codes over Z_4+uZ_4: MacWilliams identities, projections, and formally self-dual codes.
Patrick L. Harrington Jr., Alfred O. Hero III:
Information Theoretic Adaptive Tracking of Epidemics in Complex Networks.
Yu-Xiao Zhu, Junming Huang, Zi-Ke Zhang, Qian-Ming Zhang, Tao Zhou, Yong-Yeol Ahn:
Geography and similarity of regional cuisines in China.
Renato Vicente, Alex Susemihl, João Pedro Jericó, Nestor Caticha:
Moral foundations in an interacting neural networks society.
Regino Criado, Esther García, Francisco Pedroche, Miguel Romance:
A new method for comparing rankings through complex networks: Model and analysis of competitiveness of major European soccer leagues.
Daniela Lera, Yaroslav D. Sergeyev:
Acceleration of univariate global optimization algorithms working with Lipschitz functions and Lipschitz first derivatives.
Yaroslav D. Sergeyev:
Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically.
Marcelo E. Coniglio, Francesc Esteva, Lluis Godo:
Logics of formal inconsistency arising from systems of fuzzy logic.
Lila Kari, Kathleen A. Hill, Abu Sadat Sayem, Nathaniel Bryans, Katelyn Davis, Nikesh S. Dattani:
Map of Life: Measuring and Visualizing Species' Relatedness with "Molecular Distance Maps".
Aristide C. Y. Tossou, Christos Dimitrakakis:
Probabilistic inverse reinforcement learning in unknown environments.


Sebastien Bratieres, Novi Quadrianto, Zoubin Ghahramani:
Bayesian Structured Prediction Using Gaussian Processes.
Ingo Scholtes, Nicolas Wider, René Pfitzner, Antonios Garas, Claudio Juan Tessone, Frank Schweitzer:
Slow-Down vs. Speed-Up of Information Diffusion in Non-Markovian Temporal Networks.
Lisa Elkin, Ting Kei Pong, Stephen A. Vavasis:
Convex relaxation for finding planted influential nodes in a social network.

Krishnamurthy Dvijotham, Scott Backhaus, Misha Chertkov:
Storage Sizing and Placement through Operational and Uncertainty-Aware Simulations.
Radoslav Fulek:
Estimating the number of disjoint edges in simple topological graphs via cylindrical drawings.
Xiongping Dai:
Robust periodic stability implies uniform exponential stability for a random linear semiflow driven by a dynamical system with closing property.
Peter Apian-Bennewitz:
Review of simulating four classes of window materials for daylighting with non-standard BSDF using the simulation program Radiance.
(Withdrawn) Prior Biological Knowledge And Epigenetic Information Enhances Prediction Accuracy Of Bayesian Wnt Pathway.
Dmitri E. Kvasov, Yaroslav D. Sergeyev:
Lipschitz gradients for global optimization in a one-point-based partitioning scheme.
Dmitry Podolsky, Konstantin S. Turitsyn:
Critical slowing-down as indicator of approach to the loss of stability.
William K. Cochran, Michael T. Heath, Kyle W. McKiou:
A Family of Hybrid Random Number Generators with Adjustable Quality and Speed.
Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Coordination Control of Discrete-Event Systems Revisited.
Meisam Razaviyayn, Maziar Sanjabi, Zhi-Quan Luo:
A Stochastic Successive Minimization Method for Nonsmooth Nonconvex Optimization with Applications to Transceiver Design in Wireless Communication Networks.
Peng Zhang, Baisong Cheng, Zhuang Zhao, Daqing Li, Guangquan Lu, Yunpeng Wang, Jinghua Xiao:
The resilience of interdependent transportation networks under targeted attack.
Samuel Johnson, Virginia Dominguez-Garcia, Miguel A. Munoz:
Factors determining nestedness in complex networks.
Stéphane Cordier, Hélène Coullon, Olivier Delestre, Christian Laguerre, Minh-Hoang Le, Daniel Pierre, Georges Sadaka:
FullSWOF_Paral: Comparison of two parallelization strategies (MPI and SKELGIS) on a software designed for hydrology applications.


(Withdrawn) On the Necessity of Mixed Models: Dynamical Frustrations in the Mind.
Cristobal Guzman, Arkadi Nemirovski:
On Lower Complexity Bounds for Large-Scale Smooth Convex Optimization.
Syogo Mori, Voot Tangkaratt, Tingting Zhao, Jun Morimoto, Masashi Sugiyama:
Model-Based Policy Gradients with Parameter-Based Exploration by Least-Squares Conditional Density Estimation.
Péter L. Erdös, István Miklós, Zoltán Toroczkai:
A decomposition based proof for fast mixing of a Markov chain over balanced realizations of a joint degree matrix.
Dino Sejdinovic, Maria Lomeli Garcia, Heiko Strathmann, Christophe Andrieu, Arthur Gretton:
Kernel Adaptive Metropolis-Hastings.
Przemyslaw A. Grabowicz, José J. Ramasco, Bruno Gonçalves, Víctor M. Eguíluz:
Entangling mobility and interactions in social media.
Matteo Gallet, Hamid Rahkooy, Zafeirakis Zafeirakopoulos:
On Computing the Elimination Ideal Using Resultants with Applications to Gröbner Bases.
Saikat Guha, Patrick M. Hayden, Hari Krovi, Seth Lloyd, Cosmo Lupo, Jeffrey H. Shapiro, Masahiro Takeoka, Mark M. Wilde:
Quantum enigma machines and the locking capacity of a quantum channel.



Roberto Piazza:
On house renovation and coauthoring (with a little excursus on the Holy Grail of bibliometrics).
Kun Zhao, Márton Karsai, Ginestra Bianconi:
Models, Entropy and Information of Temporal Social Networks.
Jason Satel, Ross Story, Matthew D. Hilchey, Zhiguo Wang, Raymond M. Klein:
Using a Dynamic Neural Field Model to Explore a Direct Collicular Inhibition Account of Inhibition of Return.
Marco Artina, Massimo Fornasier, Steffen Peter:
Damping Noise-Folding and Enhanced Support Recovery in Compressed Sensing.
Lev Yu. Barash, Lev N. Shchur:
RNGSSELIB: Program library for random number generation. More generators, parallel streams of random numbers and Fortran compatibility.
Lev Yu. Barash, Lev N. Shchur:
PRAND: GPU accelerated parallel random number generation library: Using most reliable algorithms and applying parallelism of modern GPUs and CPUs.
Cun Mu, Bo Huang, John Wright, Donald Goldfarb:
Square Deal: Lower Bounds and Improved Relaxations for Tensor Recovery.
Roberto Rossi, Onur A. Kilic, S. Armagan Tarim:
Piecewise linear approximations for the static-dynamic uncertainty strategy in stochastic lot-sizing.


Shi Wang, Hendra Ishwara Nurdin, Guofeng Zhang, Matthew R. James:
Quantum Optical Realization of Classical Linear Stochastic Systems.
Cyril Voyant, Christophe Paoli, Marc Muselli, Marie-Laure Nivet:
Multi-horizon solar radiation forecasting for Mediterranean locations using time series models.

Petter Holme, Fredrik Liljeros:
Beginning and end times of dyadic relationships control disease spreading in empirical contact data.
Martin Cadek, Marek Krcál, Lukás Vokrínek:
Algorithmic solvability of the lifting-extension problem.
Marek Blazewicz, Ian Hinder, David M. Koppelman, Steven R. Brandt, Milosz Ciznicki, Michal Kierzynka, Frank Löffler, Erik Schnetter, Jian Tao:
From Physics Model to Results: An Optimizing Framework for Cross-Architecture Code Generation.
Sivaraman Balakrishnan, Srivatsan Narayanan, Alessandro Rinaldo, Aarti Singh, Larry A. Wasserman:
Cluster Trees on Manifolds.
Elizabeth Munch, Paul Bendich, Katharine Turner, Sayan Mukherjee, Jonathan Mattingly, John Harer:
Probabilistic Fréchet Means and Statistics on Vineyards.
Tamara Broderick, Nicholas Boyd, Andre Wibisono, Ashia C. Wilson, Michael I. Jordan:
Streaming Variational Bayes.
Emanuele Cozzo, Mikko Kivelä, Manlio De Domenico, Albert Solé, Alex Arenas, Sergio Gómez, Mason A. Porter, Yamir Moreno:
Clustering Coefficients in Multiplex Networks.
Fabrizio Altarelli, Alfredo Braunstein, Luca Dall'Asta, Alejandro Lage-Castellanos, Riccardo Zecchina:
Bayesian inference of epidemics on networks via Belief Propagation.
Mohammad Gheshlaghi Azar, Alessandro Lazaric, Emma Brunskill:
Sequential Transfer in Multi-armed Bandit with Finite Set of Models.
Nicholas R. Magliocca, Erle C. Ellis, Tim Oates, Matthew D. Schmill:
Contextualizing the global relevance of local land change observations.
Dylan Rupel, David I. Spivak:
The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes.

Matthew Fickus, Dustin G. Mixon, Aaron A. Nelson, Yang Wang:
Phase retrieval from very few measurements.
Maurizio Bruglieri, Alberto Colorni, Alessandro Lué:
The vehicle relocation problem for the one-way electric vehicle sharing.
Charles D. Brummitt, Paul D. H. Hines, Ian Dobson, Cristopher Moore, Raissa M. D'Souza:
Transdisciplinary electric power grid science.
Hiromu Mori, Shoji Makino, Tomasz M. Rutkowski:
Multi-command Chest Tactile Brain Computer Interface for Small Vehicle Robot Navigation.
Réka Albert, Bhaskar DasGupta, Nasim Mobasheri:
Some Perspectives on Network Modeling in Therapeutic Target Prediction.
Ewan R. Colman, Geoff J. Rodgers:
Complex scale-free networks with tunable power-law exponent and clustering.
Ronen Dar, Meir Feder, Antonio Mecozzi, Mark Shtaif:
Properties of nonlinear noise in long, dispersion-uncompensated fiber links.
Ali A. Zaidi, Tobias J. Oechtering, Serdar Yüksel, Mikael Skoglund:
Stabilization of Linear Systems Over Gaussian Networks.
Francisco Pedroche, Miguel Rebollo, Carlos Carrascosa, Alberto Palomares:
On the convergence of weighted-average consensus.

Sivaraman Balakrishnan, Alessandro Rinaldo, Aarti Singh, Larry A. Wasserman:
Tight Lower Bounds for Homology Inference.
Ramanuja Simha, Hagit Shatkay:
Protein (Multi-)Location Prediction: Using Location Inter-Dependencies in a Probabilistic Framework.
Zhi-Dan Zhao, Zimo Yang, Zi-Ke Zhang, Tao Zhou, Zi-Gang Huang, Ying-Cheng Lai:
Emergence of scaling in human-interest dynamics.
Alexandru I. Tomescu, Anna Kuosmanen, Romeo Rizzi, Veli Mäkinen:
A Novel Combinatorial Method for Estimating Transcript Expression with RNA-Seq: Bounding the Number of Paths.
Gustavo Sacomoto, Vincent Lacroix, Marie-France Sagot:
A polynomial delay algorithm for the enumeration of bubbles with length constraints in directed graphs and its application to the detection of alternative splicing in RNA-seq data.
Balaji Venkatachalam, Dan Gusfield, Yelena Frid:
Faster Algorithms for RNA-folding using the Four-Russians method.
Niko Brümmer, George R. Doddington:
Likelihood-ratio calibration using prior-weighted proper scoring rules.
Kush R. Varshney, Lav R. Varshney, Jun Wang, Daniel Myers:
Flavor Pairing in Medieval European Cuisine: A Study in Cooking with Dirty Data.
R. J. Lyon, J. M. Brooke, J. D. Knowles, B. W. Stappers:
A Study on Classification in Imbalanced and Partially-Labelled Data Streams.
Iasson Karafyllis, Miroslav Krstic:
Proofs of Lemmas 2.3-2.6 in the Paper "Stabilization of Nonlinear Delay Systems Using Approximate Predictors and High-Gain Observers".
Brian P. Kent, Alessandro Rinaldo, Timothy D. Verstynen:
DeBaCl: A Python Package for Interactive DEnsity-BAsed CLustering.
Jahrul Alam, Raymond Walsh, M. Alamgir Hossain, Andrew Rose:
Discretization of the Poisson equation using the interpolating scaling function with applications.
Christian Kuehn, Erik A. Martens, Daniel M. Romero:
Critical Transitions in Social Network Activity.
Roberto Ammendola, Massimo Bernaschi, Andrea Biagioni, Mauro Bisson, Massimiliano Fatica, Ottorino Frezza, Francesca Lo Cicero, Alessandro Lonardo, Enrico Mastrostefano, Pier Stanislao Paolucci, Davide Rossetti, Francesco Simula, Laura Tosoratto, Piero Vicini:
GPU peer-to-peer techniques applied to a cluster interconnect.

Sergey Fomin, Dima Grigoriev, Gleb A. Koshevoy:
Subtraction-free complexity and cluster transformations.
Martin Avendano, Roman Kogan, Mounir Nisse, J. Maurice Rojas:
Metric Estimates and Membership Complexity for Archimedean Amoebae and Tropical Hypersurfaces.
Andrey B. Kupavskii, Andrei M. Raigorodskii, Maria V. Titova:
New bounds for the distance Ramsey number.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
